1972 search results - page 44 / 395 » The Timed Asynchronous Distributed System Model |
ASYNC
2000
IEEE
14 years 4 days ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
RTSS
1996
IEEE
13 years 12 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...