Sciweavers

346 search results - page 14 / 70
» Approximating Behaviors in Embedded System Design
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 4 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
CASES
2006
ACM
15 years 1 months ago
State space reconfigurability: an implementation architecture for self modifying finite automata
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
Ka-Ming Keung, Akhilesh Tyagi
EMSOFT
2005
Springer
15 years 3 months ago
Minimizing expected energy in real-time embedded systems
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
Ruibin Xu, Daniel Mossé, Rami G. Melhem
EMSOFT
2005
Springer
15 years 3 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
15 years 4 months ago
Integrated scheduling and synthesis of control applications on distributed embedded systems
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng