Sciweavers

418 search results - page 34 / 84
» Overview of TREC 2004
Sort
View
JSSPP
2004
Springer
14 years 1 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
13 years 11 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
13 years 11 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
13 years 9 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
13 years 9 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