4604 search results - page 679 / 921 » Concurrency in Synchronous Systems |
104
click to vote
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The last advances in commodity hardware have allowed users of immersive visualization to create high-performance systems using a set of interconnected computers. These sy...
UC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
109
Voted
IPSN
2004
Springer
15 years 6 months ago
2004
Springer
We propose a distributed on-demand power-management protocol for collecting data in sensor networks. The protocol aims to reduce power consumption while supporting fluctuating dem...
91
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...