Sciweavers

3146 search results - page 158 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
CONPAR
1994
15 years 10 months ago
A Framework for Resource-Constrained Rate-Optimal Software Pipelining
The rapid advances in high-performancecomputer architectureand compilationtechniques provide both challenges and opportunitiesto exploitthe rich solution space of software pipeline...
Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...
EMSOFT
2005
Springer
15 years 12 months ago
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
DATE
2008
IEEE
114views Hardware» more  DATE 2008»
16 years 25 days ago
Synthesis of Fault-Tolerant Embedded Systems
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...
Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Pe...
IEEEINTERACT
2003
IEEE
15 years 11 months ago
Procedure Cloning and Integration for Converting Parallelism from Coarse to Fine Grain
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...
Won So, Alexander G. Dean
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 12 months ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...