Sciweavers

352 search results - page 43 / 71
» The usage of stochastic processes in embedded system specifi...
Sort
View
ECRTS
2009
IEEE
13 years 6 months ago
Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors
Abstract--Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider the problem of scheduling periodic ...
Karthik Lakshmanan, Ragunathan Rajkumar, John P. L...
FDL
2008
IEEE
14 years 3 months ago
Event-Triggered vs. Time-Triggered Communications with UML MARTE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
Frédéric Mallet, Robert de Simone, L...
JLP
2008
123views more  JLP 2008»
13 years 8 months ago
Communicating by compatibility
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
Davide Prandi, Corrado Priami, Paola Quaglia
CORR
2010
Springer
105views Education» more  CORR 2010»
13 years 8 months ago
Molecular Recognition as an Information Channel: The Role of Conformational Changes
Molecular recognition, which is essential in processing information in biological systems, takes place in a crowded noisy biochemical environment and requires the recognition of a ...
Yonatan Savir, Tsvi Tlusty
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...