5330 search results - page 251 / 1066 » The Performability Tool P'ility |
172
click to vote
PVM
2004
Springer
16 years 19 days ago
2004
Springer
We describe the use of MPI for writing system software and tools, an area where it has not been previously applied. By “system software” we mean collections of tools used for s...
199
click to vote
ESORICS
2003
Springer
16 years 15 days ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
165
Voted
ITC
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
155
click to vote
EUROPAR
2009
Springer
15 years 12 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
175
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a simple method for performing real-time collision detection in a virtual surgery environment. The method relies on the graphics hardware for testing the interpenetrati...