5334 search results - page 906 / 1067 » Communicating quantum processes |
135
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
133
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we study the suitability of the CORBA Event Service as a reliable message delivery mechanism. We first show that products built to the CORBA Event Service specificati...
115
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
138
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
130
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...