11547 search results - page 304 / 2310 » Quantum computing and communication |
200
click to vote
SPIN
2004
Springer
16 years 5 hour ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
172
click to vote
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters of commodity computers are currently being used to provide the scalability required by severalpopular Internet services. In this paper we evaluate an efficient cluster-b...
194
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
During a disaster, emergency response operations can benefit from the establishment of a wireless ad hoc network. We propose the use of autonomous robots that move inside a disas...
153
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
As on-chip integration matures, single-chip system designers must not only be concerned with component-level issues such as performance and power, but also with onchip system-leve...
191
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
The goal of this paper is to gain insight into the relative performance of communication mechanisms as bisection bandwidth and network latency vary. We compare shared memory with ...