49 search results - page 7 / 10 » LUSTRE |
EMSOFT
2009
Springer
13 years 10 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
POPL
1995
ACM
13 years 10 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents an extensive characterization, tuning, and optimization of parallel I/O on the Cray XT supercomputer, named Jaguar, at Oak Ridge National Laboratory. We have c...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes our early experiences with a preproduction Cray XMT system that implements a scalable shared memory architecture with hardware support for multithreading. Unl...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...