49 search results - page 7 / 10 » LUSTRE |
144
click to vote
EMSOFT
2009
Springer
15 years 8 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...
136
click to vote
POPL
1995
ACM
15 years 7 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...
153
click to vote
IPPS
2008
IEEE
15 years 10 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...
133
click to vote
IPPS
2008
IEEE
15 years 10 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...
128
click to vote
IPPS
2007
IEEE
15 years 10 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...