15840 search results - page 770 / 3168 » The Control of Synchronous Systems |
203
click to vote
LFP
1994
15 years 8 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
237
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
166
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
163
click to vote
ENTCS
2008
15 years 7 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
177
click to vote
JDA
2008
15 years 7 months ago
2008
The Do-All problem is about scheduling t similar and independent tasks to be performed by p processors prone to crashes. We assume that the distributed system is synchronous with ...