Sciweavers

44 search results - page 8 / 9
» Scheduling with Environmental Constraints based on Automata ...
Sort
View
RTS
2008
119views more  RTS 2008»
14 years 9 months ago
Symbolic quality control for multimedia applications
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
FDL
2007
IEEE
15 years 3 months ago
Time Modeling in MARTE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
Robert de Simone, Charles André
ROBIO
2006
IEEE
121views Robotics» more  ROBIO 2006»
15 years 3 months ago
Behaviour Cooperation by Negation for Mobile Robots
— This article presents a behavioural architecture, the Survival Kit (SK), which allows behaviours to cast their multivalued output by means of constraints over an ’action feat...
Pedro Santana, Luís Correia
COLING
1992
14 years 10 months ago
Compiling and Using Finite-State Syntactic Rules
A language-independent framework for syntactic finlte-state parsing is discussed. The article presents a framework, a formalism, a compiler and a parser for grammars written in th...
Kimmo Koskenniemi, Pasi Tapanainen, Atro Voutilain...
EMSOFT
2009
Springer
15 years 4 months ago
Clock-driven distributed real-time implementation of endochronous synchronous programs
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...