Sciweavers

SCOPES
2007
Springer
14 years 6 months ago
Systematic intermediate sequence removal for reduced memory accesses
Christophe Poucet, Stylianos Mamagkakis, David Ati...
SCOPES
2007
Springer
14 years 6 months ago
Modelling run-time arbitration by latency-rate servers in dataflow graphs
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
SCOPES
2007
Springer
14 years 6 months ago
Improvements to the Psi-SSA representation
François de Ferrière
QOSA
2007
Springer
14 years 6 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu
MONTEREY
2007
Springer
14 years 6 months ago
Getting the Details Right
Lori A. Clarke
MONTEREY
2007
Springer
14 years 6 months ago
Defect Detection and Prevention (DDP)
Martin S. Feather
MONTEREY
2007
Springer
14 years 6 months ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
LCTRTS
2007
Springer
14 years 6 months ago
Frequency-aware energy optimization for real-time periodic and aperiodic tasks
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
Xiliang Zhong, Cheng-Zhong Xu