2637 search results - page 414 / 528 » Tool Supported Specification and Simulation of Distributed S... |
152
click to vote
SIROCCO
2004
15 years 7 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
219
click to vote
CNHPCA
2009
Springer
16 years 26 days ago
2009
Springer
This paper is a report on experiences in benchmarking I/O performance on leading computational facilities on the NSF TeraGrid network with a large scale scientific application. In...
194
click to vote
HCW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this work we present the results of a project aimed at assembling an hybrid massively parallel machine, the PQE1 prototype, devoted to the simulation of complex physical models...
187
click to vote
TISSEC
2010
15 years 1 months ago
2010
Storage-based intrusion detection allows storage systems to transparently watch for suspicious activity. Storage systems are well-positioned to spot several common intruder action...
142
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...