4604 search results - page 657 / 921 » Concurrency in Synchronous Systems |
97
Voted
LCN
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper compares and evaluates the multicast performance of two of the most widely deployed System-Area Networks (SANs), Dolphin’s Scalable Coherent Interface (SCI) and Myric...
107
Voted
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
77
Voted
FM
2003
Springer
15 years 6 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
101
Voted
LCN
2002
IEEE
15 years 5 months ago
2002
IEEE
Overall efficiency of high-performance computing clusters not only relies on the computing power of the individual nodes, but also on the performance that the underlying network c...