Sciweavers

5239 search results - page 636 / 1048
» Model-Integrated Embedded Systems
Sort
View
TPHOL
2008
IEEE
16 years 1 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
VTC
2008
IEEE
110views Communications» more  VTC 2008»
16 years 1 months ago
Probabilistic Equalizer for Ultra-Wideband Energy Detection
— This study proposes an efficient way of interference mitigation for ultra-wideband energy detection. A receiver for pulse position modulation systems is investigated. The inter...
Sami Mekki, Jean-Luc Danger, Benoit Miscopein, Jea...
ECRTS
2007
IEEE
16 years 1 months ago
Tardiness Bounds for FIFO Scheduling on Multiprocessors
FIFO scheduling is often considered to be inappropriate for scheduling workloads that are subject to timing constraints. However, FIFO is implemented in many generalpurpose OSs, a...
Hennadiy Leontyev, James H. Anderson
FDL
2007
IEEE
16 years 1 months ago
Modeling of immediate vs. delayed data communications: from AADL to UML Marte
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
Frédéric Mallet, Charles André...
RTCSA
2007
IEEE
16 years 1 months ago
Tardiness Bounds for EDF Scheduling on Multi-Speed Multicore Platforms
Multicore platforms, which include several processing cores on a single chip, are being widely touted as a solution to heat and energy problems that are impediments to single-core...
Hennadiy Leontyev, James H. Anderson