Sciweavers

44 search results - page 8 / 9
» Scheduling with Environmental Constraints based on Automata ...
Sort
View
RTS
2008
119views more  RTS 2008»
13 years 5 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
14 years 15 days 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»
14 years 5 days 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
13 years 7 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
14 years 22 days 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...