Sciweavers

1739 search results - page 157 / 348
» Battery Model for Embedded Systems
Sort
View
CASES
2006
ACM
15 years 7 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks
ECRTS
2010
IEEE
15 years 3 months ago
The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
Nicola Serreli, Giuseppe Lipari, Enrico Bini
MICCAI
2005
Springer
16 years 4 months ago
Simulating Vascular Systems in Arbitrary Anatomies
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
Dominik Szczerba, Gábor Székely
131
Voted
FORTE
2007
15 years 4 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
EMSOFT
2006
Springer
15 years 7 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...