20 search results - page 4 / 4 » Back-Forth Equivalences for Design of Concurrent Systems |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
FCCM
2006
IEEE
13 years 11 months ago
2006
IEEE
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
SIGCOMM
1997
ACM
13 years 9 months ago
1997
ACM
— Measurement-based admission control (MBAC) is an attractive mechanism to concurrently offer quality of service (QoS) to users, without requiring a priori traffic specificatio...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...