Abstract is missing.
- HAIL: a language for easy and correct device accessJun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam. 1-9 [doi]
- A structural approach to quasi-static schedulability analysis of communicating concurrent programsCong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli. 10-16 [doi]
- Centralized end-to-end flow control in a best-effort network-on-chipPrabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal. 17-20 [doi]
- Communication strategies for shared-bus embedded multiprocessorsNeal K. Bambha, Shuvra S. Bhattacharyya. 21-24 [doi]
- Using separation of concerns for embedded systems designEthan K. Jackson, Janos Sztipanovits. 25-34 [doi]
- Toward a semantic anchoring infrastructure for domain-specific modeling languagesKai Chen 0003, Janos Sztipanovits, Sandeep Neema. 35-43 [doi]
- Uniform object modeling methodology and reuse of real-time system using UMLBui Minh Duc. 44-47 [doi]
- From statecharts to ESP: programming with events, states and predicates for embedded systemsVugranam C. Sreedhar, Maria-Cristina V. Marinescu. 48-51 [doi]
- High performance annotation-aware JVM for Java cardsAna Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau. 52-61 [doi]
- Deeply embedded XML communication: towards an interoperable and seamless worldJohannes Helander. 62-67 [doi]
- High-level real-time programming in JavaDavid F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev. 68-78 [doi]
- Real-time interfaces for interface-based design of real-time systems with fixed priority schedulingErnesto Wandeler, Lothar Thiele. 80-89 [doi]
- QoS control for optimality and safetyJacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis. 90-99 [doi]
- Model-based run-time monitoring of end-to-end deadlinesJaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger. 100-109 [doi]
- A GA-based scheduling method for FlexRay systemsShan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada. 110-113 [doi]
- Using de-optimization to re-optimize codeStephen Hines, Prasad Kulkarni, David B. Whalley, Jack W. Davidson. 114-123 [doi]
- A sink-n-hoist framework for leakage power reductionYi-Ping You, Chung-Wen Huang, Jenq Kuen Lee. 124-133 [doi]
- Exploiting last idle periods of links for network power managementFeihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy. 134-137 [doi]
- A UML 2.0 profile for SystemC: toward high-level SoC designElvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio. 138-141 [doi]
- Towards real-time enabled Microsoft WindowsAlex Xiang Feng. 142-146 [doi]
- Systems architecture: the empirical way: abstract architectures to optimal systemsGraham R. Hellestrand. 147-158 [doi]
- A unified HW/SW interface model to remove discontinuities between HW and SW designAimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya. 159-163 [doi]
- A denotational semantics for stateflowGrégoire Hamon. 164-172 [doi]
- A conservative extension of synchronous data-flow with state machinesJean-Louis Colaço, Bruno Pagano, Marc Pouzet. 173-182 [doi]
- Rialto: a bridge between description and implementation of control algorithms for wireless sensor networksAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli. 183-186 [doi]
- Efficient embedded software design with synchronous modelsMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli. 187-190 [doi]
- Code aware resource managementLuca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar. 191-202 [doi]
- Compiler-guided register reliability improvement against soft errorsJun Yan, Wei Zhang. 203-209 [doi]
- Distributed-code generation from hybrid systems models for time-delayed multirate systemsMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee. 210-213 [doi]
- Power consumption profile analysis for security attack simulation in smart cards at high abstraction levelKlaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger. 214-217 [doi]
- AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devicesSelim Gurun, Chandra Krintz. 218-226 [doi]
- Optimizing inter-processor data locality on embedded chip multiprocessorsGuilin Chen, Mahmut T. Kandemir. 227-236 [doi]
- A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systemsMark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli. 237-246 [doi]
- (1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processorJian-Jia Chen, Tei-Wei Kuo, Chi-Sheng Shih. 247-250 [doi]
- Minimizing expected energy in real-time embedded systemsRuibin Xu, Daniel Mossé, Rami G. Melhem. 251-254 [doi]
- Tag machinesAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli. 255-263 [doi]
- SHIM: a deterministic model for heterogeneous embedded systemsStephen A. Edwards, Olivier Tardieu. 264-272 [doi]
- Semantics-based optimization across uncoordinated tasks in networked embedded systemsJie Liu, Elaine Cheong, Feng Zhao. 273-281 [doi]
- From multi-clocked synchronous processes to latency-insensitive modulesJean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. 282-285 [doi]
- The formal verification of a reintegration protocolLee Pike, Steven D. Johnson. 286-289 [doi]
- Random testing of interrupt-driven softwareJohn Regehr. 290-298 [doi]
- Testing real-time embedded software using UPPAAL-TRON: an industrial case studyKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou. 299-306 [doi]
- Cutpoints for formal equivalence verification of embedded softwareXiushan Feng, Alan J. Hu. 307-316 [doi]
- Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chipMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. 317-324 [doi]
- Distributing synchronous programs using bounded queuesMarco Zennaro, Raja Sengupta. 325-334 [doi]
- Dynamic online reconfiguration for customizable and self-optimizing operating systemsSimon Oberthür, Carsten Böke, Björn Griese. 335-338 [doi]
- Synchronization of periodic clocksAlbert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet. 339-342 [doi]
- Passive mid-stream monitoring of real-time propertiesLalita Jategaonkar Jagadeesan, Ramesh Viswanathan. 343-352 [doi]
- Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulersStavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi. 353-360 [doi]
- Dual face phased array radar scheduling with multiple constraintsQiuhua Cao, John A. Stankovic. 361-370 [doi]
- Model-based analysis of distributed real-time embedded system compositionGabor Madl, Sherif Abdelwahed. 371-374 [doi]