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

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

Volume 4, Number 3, August 2005

• Alan Burns:
  Editorial. 469-471
  Electronic Edition (ACM DL) BibTeX
• Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
  An overview of embedded system design education at berkeley. 472-499
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Ingrid Verbauwhede, Patrick Schaumont:
  Skiing the embedded systems mountain. 529-548
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Rudolph E. Seviora:
  A curriculum for embedded system engineering. 569-586
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Tai-Yi Huang, Chung-Ta King, Youn-Long Steve Lin, Yin-Tsung Hwang:
  The embedded software consortium of taiwan. 612-632
  Electronic Edition (ACM DL) BibTeX
• Martin Grimheden, Martin Törngren:
  What is embedded systems and how should it be taught?---results from a didactic analysis. 633-651
  Electronic Edition (ACM DL) BibTeX
• Wei Zhang, Mahmut T. Kandemir, Mustafa Karaköy, Guangyu Chen:
  Reducing data cache leakage energy using a compiler-based approach. 652-678
  Electronic Edition (ACM DL) BibTeX
• Hyung Seok Kim, Tarek F. Abdelzaher, Wook Hyun Kwon:
  Dynamic delay-constrained minimum-energy dissemination in wireless sensor networks. 679-706
  Electronic Edition (ACM DL) BibTeX

Volume 4, Number 4, November 2005

• Rajeev Alur, Insup Lee:
  Preface. 707
  Electronic Edition (ACM DL) BibTeX
• Olivier Tardieu, Robert de Simone:
  Loops in esterel. 708-750
  Electronic Edition (ACM DL) BibTeX
• John Regehr, Alastair Reid, Kirk Webb:
  Eliminating stack overflow by abstract interpretation. 751-778
  Electronic Edition (ACM DL) BibTeX
• Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic:
  Translating discrete-time simulink to lustre. 779-818
  Electronic Edition (ACM DL) BibTeX
• Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam:
  Compiler-directed high-level energy estimation and optimization. 819-850
  Electronic Edition (ACM DL) BibTeX
• J. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin:
  Analyzing data reuse for cache reconfiguration. 851-876
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Bruno Gaujal, Nicolas Navet, Cormac Walsh:
  Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. 907-933
  Electronic Edition (ACM DL) BibTeX
• Sandro Bartolini, Cosimo Antonio Prete:
  Optimizing instruction cache performance of embedded systems. 934-965
  Electronic Edition (ACM DL) BibTeX