|
|
|
|
| | Logic in Computer Science: Modelling and Reasoning about SystemsRecent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound... | | Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract... |
|
The JR Programming Language: Concurrent Programming in an Extended JavaJR is a language for concurrent programming. It is an imperative language that provides explicit mechanisms for concurrency, communication, and synchronization. JR is an extension of the Java programming language with additional concurrency mechanisms based on those in the SR (Synchronizing Resources) programming language. It is suitable for... | | Constraint Logic Programming using Eclipse
Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying... | | Specification and Verification of Multi-agent Systems
In the last decade, multi-agent systems have both become widely applied and also
increasingly complex. The applications include the use of agents as automous decision
makers in often safety-critical, dangerous, or high impact scenarios (traffic
control, autonomous satellites, computational markets). The complexity arises from
the fact... |
|
|
Design of Energy-Efficient Application-Specific Instruction Set ProcessorsAfter a brief introduction to low-power VLSI design, the design space of ASIP instruction set architectures (ISAs) is introduced with a special focus on important features for digital signal processing. Based on the degrees of freedom offered by this design space, a consistent ASIP design flow is proposed: this design flow starts with a given... | | Abstraction Refinement for Large Scale Model CheckingAbstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model... | | Principles of Space Instrument Design (Cambridge Aerospace Series)Scientific observations from space require instruments which can operate in the orbital environment. The skills needed to design such special instruments span many disciplines. This book aims to bring together the elements of the design process. It is, first, a manual for the newly graduated engineer or physicist involved with the design of... |
|
|
Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 |