2662 search results - page 256 / 533 » Tools Demonstrations |
198
click to vote
IFM
2005
Springer
16 years 4 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
171
click to vote
ASPLOS
2004
ACM
16 years 1 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
203
click to vote
ISMAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
168
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We demonstrate ProgXe, a practical approach to support MultiCriteria Decision Support (MCDS) applications that need to report results as they are being generated to enable the use...
175
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...