3148 search results - page 286 / 630 » On the Dynamic Initialization of Parallel Computers |
117
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
123
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
134
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
131
Voted
VECPAR
2004
Springer
15 years 9 months ago
2004
Springer
The deployment of biomedical applications in a grid environment has started about three years ago in several European projects and national initiatives. These applications have dem...
118
Voted
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe the XenoSearch system for performing expressive resource discovery searches in a distributed environment. We represent server meta-data, such as their locations and fa...