𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design

✍ Scribed by Pacholski, Leszek; Ružička, Peter


Book ID
121847693
Publisher
Springer Berlin Heidelberg
Year
2001
Tongue
English
Weight
194 KB
Edition
1
Category
Article
ISBN
3540456279

No coin nor oath required. For personal study only.

✦ Synopsis


SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Corr
✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi

[Lecture Notes in Computer Science] SOFS
✍ Bartosek, Miroslav; Staudek, Jan; Wiedermann, Jirí 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 431 KB

We prove that a class of architectures called NARX neural networks, popular in control applications and other problems, are at least as powerful as fully connected recurrent neural networks. Recent results have shown that fully connected networks are Turing equivalent. Building on those results, we