Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Lustre (programming language)

Known as: Lustre, Lustre language, Lustre programming language 
Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Current social policy initiatives are promoting early intervention to improve the lives of disadvantaged children… Expand
  • figure 1
2009
2009
It is widely known that MPI-IO performs poorly in a Lustre file system environment, although the reasons for such performance are… Expand
  • figure 1
  • figure 2
  • figure 2
  • figure 4
  • figure 3
2008
2008
Walk into the local health food shop or pick up today's paper and the chances are that you'll see adverts for acupuncture and… Expand
2008
2008
Mutation analysis is usually used to provide indication of the fault detection ability of a test set. It is mainly used for unit… Expand
  • table 1
  • table 2
  • table 3
  • figure 5
  • table 4
Highly Cited
2005
Highly Cited
2005
We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type… Expand
  • figure 1
  • table 2
  • table 3
  • figure 2
  • figure 3
2005
2005
Cleusonite, (Pb,Sr)(U4+,U6+) (Fe2+,Zn)2 (Ti,Fe2+,Fe3+)18 (O,OH)38, is a new member of the crichtonite group. It was found at two… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2004
Highly Cited
2004
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and… Expand
  • figure 1
  • figure 2
Highly Cited
2000
Highly Cited
2000
  • B. Marre, A. Arnould
  • Proceedings ASE . Fifteenth IEEE International…
  • 2000
  • Corpus ID: 32185925
We describe a test sequence generation method from LUSTRE descriptions and its companion tool, GATEL. The LUSTRE language is… Expand
  • figure 2
  • figure 4
  • figure 9
  • figure 8
Highly Cited
1997
Highly Cited
1997
Using narrative theory, this article explores strategic management as a form of fiction. After introducing several key narrative… Expand
Highly Cited
1996
Highly Cited
1996
Les systemes communicants mettent en jeu des objets potentiellement infinis (boucles d'interaction, listes de donnees infinies… Expand