11580 search results - page 2173 / 2316 » Communication vs. Computation |
135
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
156
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
140
click to vote
FOCS
1997
IEEE
15 years 8 months ago
1997
IEEE
A central issue in the design of modern communication networks is that of providing performance guarantees. This issue is particularly important if the networks support real-time t...
127
click to vote
ICDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Conventional implementations of CORBA communication middleware incur significant overhead when used for performance-sensitive applications over high-speed networks. As gigabit ne...
136
click to vote
PVM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...