ACM Transactions in Embedded Computing Systems, Volume 4

Volume 4, Number 1, February 2005

• Frank Mueller, Per Stenström:
  Introduction to the special issue. 1-2
  
• Arvind Krishnaswamy, Rajiv Gupta:
  Dynamic coalescing for 16-bit instructions. 3-37
  
• Marc L. Corliss, E. Christopher Lewis, Amir Roth:
  The implementation and evaluation of dynamic code decompression using DISE. 38-72
  
• Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner:
  Memory safety without garbage collection for embedded applications. 73-111
  
• Paul Pop, Petru Eles, Zebo Peng:
  Schedulability-driven frame packing for multicluster distributed embedded systems. 112-140
  
• Vishnu Swaminathan, Krishnendu Chakrabarty:
  Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems. 141-167
  
• Lih-Yih Chiou, Swarup Bhunia, Kaushik Roy:
  Synthesis of application-specific highly efficient multi-mode cores for embedded systems. 168-188
  
• Joseph Zambreno, Alok N. Choudhary, Rahul Simha, Bhagirath Narahari, Nasir D. Memon:
  SAFE-OPS: An approach to embedded software security. 189-210
  
• Woo-Cheol Kwon, Taewhan Kim:
  Optimal voltage allocation techniques for dynamically variable voltage processors. 211-230
  
• Tat Kee Tan, Anand Raghunathan, Niraj K. Jha:
  Energy macromodeling of embedded operating systems. 231-254
  

Volume 4, Number 2, May 2005

• Sandeep K. Shukla, Jean-Pierre Talpin:
  Guest editorial: Special issue on models and methodologies for co-design of embedded systems. 225-227
  
• David Cachera, Katell Morin-Allory:
  Verification of safety properties for parameterized regular systems. 228-266
  
• Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde:
  PLTL-partitioned model checking for reactive systems under fairness assumptions. 267-301
  
• William B. Gardner:
  Converging CSP specifications and C++ programming via selective formalism. 302-330
  
• Roberto Ziller, Klaus Schneider:
  Combining supervisor synthesis and model checking. 331-362
  
• Chuanjun Zhang, Frank Vahid, Walid A. Najjar:
  A highly configurable cache for low energy embedded systems. 363-387
  
• Ismail Kadayif, Mahmut T. Kandemir:
  Data space-oriented tiling for enhancing locality. 388-414
  
• Radu Muresan, Catherine H. Gebotys:
  Instantaneous current modeling in a complex VLIW processor core. 415-451
  
• Peter Petrov, Alex Orailoglu:
  A reprogrammable customization framework for efficient branch resolution in embedded processors. 452-468
  

Volume 4, Number 3, August 2005

• Alan Burns:
  Editorial. 469-471
  
• Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
  An overview of embedded system design education at berkeley. 472-499
  
• Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang:
  Undergraduate embedded system education at Carnegie Mellon. 500-528
  
• Ingrid Verbauwhede, Patrick Schaumont:
  Skiing the embedded systems mountain. 529-548
  
• Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt:
  Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. 549-568
  
• Rudolph E. Seviora:
  A curriculum for embedded system engineering. 569-586
  
• Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi:
  Guidelines for a graduate curriculum on embedded software and systems. 587-611
  
• Tai-Yi Huang, Chung-Ta King, Youn-Long Steve Lin, Yin-Tsung Hwang:
  The embedded software consortium of taiwan. 612-632
  
• Martin Grimheden, Martin Törngren:
  What is embedded systems and how should it be taught?---results from a didactic analysis. 633-651
  
• Wei Zhang, Mahmut T. Kandemir, Mustafa Karaköy, Guangyu Chen:
  Reducing data cache leakage energy using a compiler-based approach. 652-678
  
• Hyung Seok Kim, Tarek F. Abdelzaher, Wook Hyun Kwon:
  Dynamic delay-constrained minimum-energy dissemination in wireless sensor networks. 679-706
  

Volume 4, Number 4, November 2005

• Rajeev Alur, Insup Lee:
  Preface. 707
  
• Olivier Tardieu, Robert de Simone:
  Loops in esterel. 708-750
  
• John Regehr, Alastair Reid, Kirk Webb:
  Eliminating stack overflow by abstract interpretation. 751-778
  
• Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic:
  Translating discrete-time simulink to lustre. 779-818
  
• Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam:
  Compiler-directed high-level energy estimation and optimization. 819-850
  
• Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin:
  Analyzing data reuse for cache reconfiguration. 851-876
  
• Tian He, Chengdu Huang, Brian M. Blum, John A. Stankovic, Tarek F. Abdelzaher:
  Range-free localization and its impact on large scale sensor networks. 877-906
  
• Bruno Gaujal, Nicolas Navet, Cormac Walsh:
  Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. 907-933
  
• Sandro Bartolini, Cosimo Antonio Prete:
  Optimizing instruction cache performance of embedded systems. 934-965
  

Last update Sat May 18 20:57:20 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page