Rajeev Alur - Böcker
Visar alla böcker från författaren Rajeev Alur. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
657 kr
Tillfälligt slut
1 112 kr
Skickas inom 5-8 vardagar
Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
Häftad, Engelska, 2003
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.
Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Häftad, Engelska, 2004
1 101 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004. The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems.
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Häftad, Engelska, 2004
1 101 kr
Skickas inom 10-15 vardagar
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre?ectstheincreasingsynergybetweenresearch on veri?cation and testing, and emerging applications of formal veri?cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci?cation and veri?cation of concurrent software organized by Shaz Qadeer.
1 101 kr
Skickas inom 10-15 vardagar
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Häftad, Engelska, 1996
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.