ACM Transactions in Embedded Computing Systems, Volume 4

Volume 5, Number 1, February 2006

• Wei Zhang, Yuh-Fang Tsai, David Duarte, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin:
  Reducing dynamic and leakage energy in VLIW architectures. 1-28
  Electronic Edition (ACM DL) BibTeX
• Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin:
  A formal method for hardware IP design and integration under I/O and timing constraints. 29-53
  Electronic Edition (ACM DL) BibTeX
• Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng:
  Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. 54-81
  Electronic Edition (ACM DL) BibTeX
• Nevine AbouGhazaleh, Daniel Mossé, Bruce R. Childers, Rami G. Melhem:
  Collaborative operating system and compiler power management for real-time applications. 82-115
  Electronic Edition (ACM DL) BibTeX
• Alexander G. Dean:
  Software thread integration for embedded system display applications. 116-151
  Electronic Edition (ACM DL) BibTeX
• Rajeev Alur, Thao Dang, Franjo Ivancic:
  Predicate abstraction for reachability analysis of hybrid systems. 152-199
  Electronic Edition (ACM DL) BibTeX
• Kiran Seth, Aravindh Anantaraman, Frank Mueller, Eric Rotenberg:
  FAST: Frequency-aware static timing analysis. 200-224
  Electronic Edition (ACM DL) BibTeX
• Guilin Chen, Mahmut T. Kandemir, Mary Jane Irwin, J. Ramanujam:
  Reducing code size through address register assignment. 225-258
  Electronic Edition (ACM DL) BibTeX

Volume 5, Number 2, May 2006

• Ahmed Amine Jerraya, Trevor N. Mudge:
  Guest editorial: Concurrent hardware and software design for multiprocessor SoC. 259-262
  Electronic Edition (ACM DL) BibTeX
• Jiang Xu, Wayne Wolf, Jörg Henkel, Srimat T. Chakradhar:
  A design methodology for application-specific networks-on-chip. 263-280
  Electronic Edition (ACM DL) BibTeX
• Tero Kangas, Petri Kukkala, Heikki Orsila, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen, Jouni Riihimäki, Kimmo Kuusilinna:
  UML-based multiprocessor SoC design framework. 281-320
  Electronic Edition (ACM DL) BibTeX
• Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya:
  Energy-efficient embedded software implementation on multiprocessor system-on-chip with multiple voltages. 321-341
  Electronic Edition (ACM DL) BibTeX
• Fabiano Hessel, Vitor M. da Rosa, Carlos Eduardo Reif, César A. M. Marcon, Tatiana Gadelha Serra dos Santos:
  Scheduling refinement in abstract RTOS models. 342-354
  Electronic Edition (ACM DL) BibTeX
• Jingzhao Ou, Viktor K. Prasanna:
  Design space exploration using arithmetic-level hardware--software cosimulation for configurable multiprocessor platforms. 355-382
  Electronic Edition (ACM DL) BibTeX
• Mirko Loghi, Massimo Poncino, Luca Benini:
  Cache coherence tradeoffs in shared-memory MPSoCs. 383-407
  Electronic Edition (ACM DL) BibTeX
• James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu:
  A new efficient EDA tool design methodology. 408-430
  Electronic Edition (ACM DL) BibTeX
• Mehrdad Reshadi, Nikil Dutt, Prabhat Mishra:
  A retargetable framework for instruction-set architecture simulation. 431-452
  Electronic Edition (ACM DL) BibTeX
• Gokhan Memik, William H. Mangione-Smith:
  Evaluating Network Processors using NetBench. 453-471
  Electronic Edition (ACM DL) BibTeX
• Sumesh Udayakumaran, Angel Dominguez, Rajeev Barua:
  Dynamic allocation for scratch-pad memory using compile-time decisions. 472-511
  Electronic Edition (ACM DL) BibTeX

Volume 5, Number 3, August 2006

• Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
  Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. 513-542
  Electronic Edition (ACM DL) BibTeX
• Liqian Luo, Tarek F. Abdelzaher, Tian He, John A. Stankovic:
  EnviroSuite: An environmentally immersive programming framework for sensor networks. 543-576
  Electronic Edition (ACM DL) BibTeX
• Catherine H. Gebotys:
  A split-mask countermeasure for low-energy secure embedded systems. 577-612
  Electronic Edition (ACM DL) BibTeX
• Xiaotong Zhuang, Santosh Pande:
  Parallelizing load/stores on dual-bank memory embedded processors. 613-657
  Electronic Edition (ACM DL) BibTeX
• Alex K. Jones, Raymond Hoare, Dara Kusic, Gayatri Mehta, Joshua Fazekas, John Foster:
  Reducing power while increasing performance with supercisc. 658-686
  Electronic Edition (ACM DL) BibTeX
• Alain Girault, Xavier Nicollin, Marc Pouzet:
  Automatic rate desynchronization of embedded reactive programs. 687-717
  Electronic Edition (ACM DL) BibTeX

Volume 5, Number 4, November 2006

• Surupa Biswas, Thomas W. Carley, Matthew Simpson, Bhuvan Middha, Rajeev Barua:
  Memory overflow protection for embedded systems using run-time checks, reuse, and compression. 719-752
  Electronic Edition (ACM DL) BibTeX
• M. Teresa Higuera-Toledano:
  Hardware support for detecting illegal references in a multiapplication real-time Java environment. 753-772
  Electronic Edition (ACM DL) BibTeX
• Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom:
  A transformational perspective into the core of an abstract class loader for the SSP. 773-818
  Electronic Edition (ACM DL) BibTeX
• Prasad Kulkarni, Wankang Zhao, Stephen Hines, David B. Whalley, Xin Yuan, Robert van Engelen, Kyle Gallivan, Jason Hiser, Jack W. Davidson, Baosheng Cai, Mark W. Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek:
  VISTA: VPO interactive system for tuning applications. 819-863
  Electronic Edition (ACM DL) BibTeX
• Desiree Ottoni, Guilherme Ottoni, Guido Araujo, Rainer Leupers:
  Offset assignment using simultaneous variable coalescing. 864-883
  Electronic Edition (ACM DL) BibTeX