Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,930 papers from all fields of science
Search
Sign In
Create Free Account
Lustre
Lustre is a type of parallel distributed file system, generally used for large-scale cluster computing. The name Lustre is a portmanteau word derived…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Blue Gene
Blue Waters
Cache coherence
Client (computing)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Analytical Performance Evaluation of IPv6 and IPv4 Over 10 Gigabit Ethernet and InfiniBand using IPoIB
Eric Gamess
,
H. Ortiz-Zuazaga
2016
Corpus ID: 10441701
IPv6 is the response to the shortage of IPv4 addresses. It was defined almost twenty years ago by the IETF as a replacement of…
Expand
2014
2014
Automatic Detection and Rectification of DNS Reflection Amplification Attacks with Hadoop MapReduce and Chukwa
A. Jose
,
B. A.
Fourth International Conference on Advances in…
2014
Corpus ID: 18987014
DNS Reflection Amplification Attacks are now a days popular and it is the Distributed Denial of Service Attack. This attack makes…
Expand
2010
2010
Events! (Reactivity in urbiscript)
Jean-Christophe Baillie
,
A. Demaille
,
Quentin Hocquet
,
M. Nottale
arXiv.org
2010
Corpus ID: 16271648
Urbi SDK is a software platform for the development of portable robotic applications. It features the Urbi UObject C++ middleware…
Expand
2006
2006
Critères de couverture structurelle pour les programmes Lustre. (Strurtural coverage criteria for Lustre programs)
A. Lakehal
2006
Corpus ID: 21261854
Ce travail porte sur le test structurel des programmes reactifs synchrones erits en Lustre et sur la definition de criteres de…
Expand
2004
2004
A framework for heterogeneous formal modeling and compositional verification of avionics systems
Y. A. Ameur
,
R. Delmas
,
V. Wiels
Proceedings. Second ACM and IEEE International…
2004
Corpus ID: 16851115
This paper presents a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain…
Expand
2000
2000
Formal methods for analysis of heterogeneous models of embedded systems
S. Nadjm-Tehrani
CACSD. Conference Proceedings. IEEE International…
2000
Corpus ID: 2271232
Technological developments in micro-electronics have made digital control an indispensable component in all engineering systems…
Expand
2000
2000
Multiclock Esterel: a reactive framework for asynchronous design
Basant Rajan
,
R. Shyamasundar
Proceedings, International Parallel and…
2000
Corpus ID: 896756
In this paper, we discuss a new paradigm called Multiclock Esterel, based on the paradigm of the synchronous reactive language…
Expand
1999
1999
Specification and Verification of Interactors : A Tour of Esterel
Jean-Daniel Fekete
,
Martin Richard
,
Pierre Dragicevic
1999
Corpus ID: 18122075
Esterel is a mature reactive language used to specify and implement real time and critical systems. In this article, we…
Expand
1994
1994
Stratégies de test pour des programmes synchrones : application au langage LUSTRE
C. Mazuet
1994
Corpus ID: 171023194
A travers l'exemple de lustre, les travaux realises dans le cadre de cette these ont pour but de definir des methodes de test…
Expand
1988
1988
Sémantique et compilation de LUSTRE, un langage déclaratif synchrone
John Plaice
1988
Corpus ID: 193380234
Le langage etudie est un langage de programmation des systemes temps reel fonde sur une interpretation synchrone des reseaux a…
Expand