49 search results - page 1 / 10 » LUSTRE |
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
CLUSTER
2008
IEEE
13 years 11 months ago
2008
IEEE
—Lustre is becoming an increasingly important file system for large-scale computing clusters. The problem, however, is that many data-intensive applications use MPI-IO for their ...
IPPS
2009
IEEE
13 years 12 months ago
2009
IEEE
Parallel NFS (pNFS) is an emergent open standard for parallelizing data transfer over a variety of I/O protocols. Prototypes of pNFS are actively being developed by industry and a...
SAFECOMP
1999
Springer
13 years 9 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
MEMOCODE
2005
IEEE
13 years 11 months ago
2005
IEEE
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...