Sciweavers

113 search results - page 12 / 23
» A Next-Generation Platform for Analyzing Executables
Sort
View
ECRTS
2010
IEEE
13 years 8 months ago
Making DRAM Refresh Predictable
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
Balasubramanya Bhat, Frank Mueller
EMSOFT
2008
Springer
13 years 9 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
IPPS
2009
IEEE
14 years 2 months ago
MGST: A framework for performance evaluation of Desktop Grids
Desktop Grids are rapidly gaining popularity as a costeffective computing platform for the execution of applications with extensive computing needs. As opposed to grids and cluste...
Majd Kokaly, Issam Al-Azzoni, Douglas G. Down
SEFM
2006
IEEE
14 years 1 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ISOLA
2004
Springer
14 years 1 months ago
A Rule Markup Language and its application to UML
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
Joost Jacob