Sciweavers

1227 search results - page 183 / 246
» Collaboration in parallel worlds
Sort
View
PPOPP
2005
ACM
15 years 11 months ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster
SC
2005
ACM
15 years 11 months ago
An Application-Based Performance Characterization of the Columbia Supercluster
Columbia is a 10,240-processor supercluster consisting of 20 Altix nodes with 512 processors each, and currently ranked as one of the fastest computers in the world. In this paper...
Rupak Biswas, M. Jahed Djomehri, Robert Hood, Haoq...
EDO
2005
Springer
15 years 11 months ago
A flexible and extensible object middleware: CORBA and beyond
This paper presents a CORBA-compliant middleware architecture that is more flexible and extensible compared to standard CORBA. The portable design of this architecture is easily in...
Franz J. Hauck, Rüdiger Kapitza, Hans P. Reis...
EGC
2005
Springer
15 years 11 months ago
WebGrid: A New Paradigm for Web System
World Wide Web is one of the most important applications on the Internet. Net surfers can browse the Web pages by tracing the links embedded in the hypertexts. However, one will be...
Liutong Xu, Bai Wang, Bo Ai
FOSSACS
2005
Springer
15 years 11 months ago
Composition and Decomposition in True-Concurrency
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
Sibylle B. Fröschle