✦ LIBER ✦

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking

✍ Scribed by Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei

Book ID: 120619949
Publisher: Springer Berlin Heidelberg
Year: 2012
Tongue: English
Weight: 340 KB
Edition: 1
Category: Article
ISBN: 3642297099
DOI: 10.1007/978-3-642-29709-0_17

No coin nor oath required. For personal study only.

✦ Synopsis

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Towards Checking Parametric Reachability for UML State Machines

✍ Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 326 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Verification-Oriented Language C-Light and Its Structural Operational Semantics

✍ Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Advances in the Message Passing Interface Volume 7490 || mpicroscope: Towards an MPI Benchmark Tool for Performance Guideline Verification

✍ Träff, Jesper Larsson; Benkner, Siegfried; Dongarra, Jack J. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 203 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Models of Agents Volume 1760 || Towards an Agent-Oriented Framework for Specification of Information Systems

✍ Meyer, John-Jules Ch.; Schobbens, Pierre-Yves 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 193 KB

This Volume Provides A Selection Of Strictly Refereed Papers First Presented During A Workshop Held Within The Context Of The Esprit Modelage Project In Certosa Di Pertignano, Italy, In 1997. The 15 Revised Full Papers Presented Together With An Introductory Survey By The Volume Editors Were Careful

[Lecture Notes in Computer Science] Rigo

[Lecture Notes in Computer Science] Rigorous Software Engineering for Service-Oriented Systems Volume 6582 || An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

✍ Wirsing, Martin; Hölzl, Matthias 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 494 KB

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical

[Lecture Notes in Computer Science] Func

[Lecture Notes in Computer Science] Functional Imaging and Modeling of the Heart Volume 5528 || GIMIAS: An Open Source Framework for Efficient Development of Research Tools and Clinical Prototypes

✍ Ayache, Nicholas; Delingette, Hervé; Sermesant, Maxime 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 623 KB

This book constitutes the refereed proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2009, held in Nice, France in June 2009. The 54 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions cov