Sciweavers

292 search results - page 30 / 59
» Reactive Context-Aware Programming
Sort
View
125
Voted
CASES
2005
ACM
15 years 2 months ago
An Esterel processor with full preemption support and its worst case reaction time analysis
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
Xin Li, Jan Lukoschus, Marian Boldt, Michael Harde...
ICFP
2001
ACM
16 years 13 days ago
Developing a Stage Lighting System from Scratch
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
Michael Sperber
97
Voted
AROBOTS
2004
99views more  AROBOTS 2004»
15 years 11 days ago
Bayesian Robot Programming
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...
Olivier Lebeltel, Pierre Bessière, Julien D...
ENTCS
2008
98views more  ENTCS 2008»
15 years 17 days ago
Modifying Contracts with Larissa Aspects
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
David Stauch
92
Voted
ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
15 years 7 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider