Sciweavers

418 search results - page 34 / 84
» Overview of TREC 2004
Sort
View
JSSPP
2004
Springer
15 years 3 months ago
Scheduling on the Top 50 Machines
The well-known TOP500 list ranks the 500 most powerful high-performance computers. However, the list lacks details about the job management and scheduling on these machines. As thi...
Carsten Ernemann, Martin Krogmann, Joachim Lepping...
ECOOPW
2007
Springer
15 years 1 months ago
Formal Techniques for Java-Like Programs
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
John Boyland, Dave Clarke, Gary T. Leavens, France...
COMPSAC
2004
IEEE
15 years 1 months ago
WS-FIT: A Tool for Dependability Analysis of Web Services
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
Nik Looker, Malcolm Munro, Jie Xu
ISCAPDCS
2004
14 years 11 months ago
A Mechanism for Sequential Consistency in a Distributed Objects System
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerom...
ISTA
2004
14 years 11 months ago
Where Does Ubiquitous Computing Lead the Organization?
: The paper is concerned with the question of how the emergence of ubiquitous computing influences organizations in terms of changing business processes and social aspects of emplo...
Igor O. Marin