1524 search results - page 162 / 305 » The First Real Operating System for Reconfigurable Computers |
118
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
168
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
122
Voted
STOC
2001
ACM
16 years 4 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
134
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
180
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Abstract. Peer Data Management Systems (PDMS) have recently attracted attention by the database community. One of the main challenges of this paradigm is the development and evalua...