%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.12",
%%% date = "05 August 2008",
%%% time = "19:35:07 MDT",
%%% filename = "tecs.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "49905 6256 30705 281653",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; BibTeX; ACM Transactions on
%%% Embedded Computing Systems (TECS)",
%%% license = "public domain",
%%% supported = "no",
%%% docstring = "This is a COMPLETE BibTeX bibliography for
%%% the journal ACM Transactions on Embedded
%%% Computing Systems (no CODEN, ISSN 1539-9087),
%%% for 2002--date.
%%%
%%% Publication began with volume 1, number 1,
%%% in November 2002. The journal appears
%%% quarterly, in February, May, August, and
%%% November.
%%%
%%% The journal has a World-Wide Web site at:
%%%
%%% http://www.acm.org/pubs/tecs
%%% http://portal.acm.org/browse_dl.cfm?&idx=J840
%%%
%%% Tables-of-contents of all issues are
%%% available at:
%%%
%%% http://www.acm.org/pubs/contents/journals/tecs/
%%%
%%% Qualified subscribers can retrieve the full
%%% text of recent articles in PDF form.
%%%
%%% At version 1.11, the COMPLETE journal
%%% coverage looked like this:
%%%
%%% 2002 ( 7) 2005 ( 39) 2008 ( 39)
%%% 2003 ( 24) 2006 ( 30)
%%% 2004 ( 36) 2007 ( 39)
%%%
%%% Article: 214
%%%
%%% Total entries: 214
%%%
%%% Spelling has been verified with the UNIX
%%% spell and GNU ispell programs using the
%%% exception dictionary stored in the
%%% companion file with extension .sok.
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order, using ``bibsort -byvolume.''
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{"\input bibnames.sty"}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-TECS = "ACM Transactions on Embedded Computing
Systems"}
%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
%%% ====================================================================
%%% Bibliography entries:
@Article{Wolf:2002:III,
author = "Wayne Wolf",
title = "Introduction to the inaugural issue",
journal = j-TECS,
volume = "1",
number = "1",
pages = "1--1",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Jacob:2002:ITS,
author = "Bruce Jacob and Shuvra Bhattacharyya",
title = "Introduction to the two special issues on memory",
journal = j-TECS,
volume = "1",
number = "1",
pages = "2--5",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Avissar:2002:OMA,
author = "Oren Avissar and Rajeev Barua and Dave Stewart",
title = "An optimal memory allocation scheme for
scratch-pad-based embedded systems",
journal = j-TECS,
volume = "1",
number = "1",
pages = "6--26",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chen:2002:TGC,
author = "G. Chen and R. Shetty and M. Kandemir and N.
Vijaykrishnan and M. J. Irwin and M. Wolczko",
title = "Tuning garbage collection for reducing memory system
energy in an embedded {Java} environment",
journal = j-TECS,
volume = "1",
number = "1",
pages = "27--55",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Lee:2002:AAI,
author = "Jung-Hoon Lee and Shin-Dug Kim and Charles Weems",
title = "Application-adaptive intelligent cache memory system",
journal = j-TECS,
volume = "1",
number = "1",
pages = "56--78",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Yang:2002:FVL,
author = "Jun Yang and Rajiv Gupta",
title = "Frequent value locality and its applications",
journal = j-TECS,
volume = "1",
number = "1",
pages = "79--105",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ykman-Couvreur:2002:SLE,
author = "Ch. Ykman-Couvreur and J. Lambrecht and A. Van Der
Togt and F. Catthoor and H. De Man",
title = "System-level exploration of association table
implementations in telecom network applications",
journal = j-TECS,
volume = "1",
number = "1",
pages = "106--140",
month = nov,
year = "2002",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:40 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Jacob:2003:ITS,
author = "Bruce Jacob and Shuvra Bhattacharyya",
title = "Introduction to the two special issues on memory",
journal = j-TECS,
volume = "2",
number = "1",
pages = "1--4",
month = feb,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Benini:2003:EAD,
author = "Luca Benini and Alberto Macii and Massimo Poncino",
title = "Energy-aware design of embedded memories: {A} survey
of technologies, architectures, and optimization
techniques",
journal = j-TECS,
volume = "2",
number = "1",
pages = "5--32",
month = feb,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Grun:2003:APB,
author = "Peter Grun and Nikil Dutt and Alex Nicolau",
title = "Access pattern-based memory and connectivity
architecture exploration",
journal = j-TECS,
volume = "2",
number = "1",
pages = "33--73",
month = feb,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Qu:2003:SSS,
author = "Gang Qu and Miodrag Potkonjak",
title = "System synthesis of synchronous multimedia
applications",
journal = j-TECS,
volume = "2",
number = "1",
pages = "74--97",
month = feb,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Shim:2003:LEC,
author = "Hojun Shim and Yongsoo Joo and Yongseok Choi and Hyung
Gyu Lee and Naehyuck Chang",
title = "Low-energy off-chip {SDRAM} memory systems for
embedded applications",
journal = j-TECS,
volume = "2",
number = "1",
pages = "98--130",
month = feb,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Guang:2003:SIC,
author = "Gao Guang and Trevor Mudge",
title = "Special issue on compilers, architecture, and
synthesis for embedded systems",
journal = j-TECS,
volume = "2",
number = "2",
pages = "131--131",
month = may,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Franke:2003:ARH,
author = "Bj{\"o}rn Franke and Michael O'Boyle",
title = "Array recovery and high-level transformations for
{DSP} applications",
journal = j-TECS,
volume = "2",
number = "2",
pages = "132--162",
month = may,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kim:2003:PIC,
author = "Soontae Kim and N. Vijaykrishnan and Mahmut Kandemir
and Anand Sivasubramaniam and Mary Jane Irwin",
title = "Partitioned instruction cache architecture for energy
efficiency",
journal = j-TECS,
volume = "2",
number = "2",
pages = "163--185",
month = may,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Rabbah:2003:DRD,
author = "Rodric M. Rabbah and Krishna V. Palem",
title = "Data remapping for design space optimization of
embedded memory systems",
journal = j-TECS,
volume = "2",
number = "2",
pages = "186--218",
month = may,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhao:2003:SRM,
author = "Qin Zhao and Bart Mesman and Twan Basten",
title = "Static resource models for code-size efficient
embedded processors",
journal = j-TECS,
volume = "2",
number = "2",
pages = "219--250",
month = may,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:41 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Jacome:2003:SIP,
author = "Margarida Jacome and Francky Catthoor",
title = "Special issue on power-aware embedded computing",
journal = j-TECS,
volume = "2",
number = "3",
pages = "251--254",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Martin:2003:CSS,
author = "Thomas L. Martin and Daniel P. Siewiorek and Asim
Smailagic and Matthew Bosworth and Matthew Ettus and
Jolin Warren",
title = "A case study of a system-level approach to power-aware
computing",
journal = j-TECS,
volume = "2",
number = "3",
pages = "255--276",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Rakhmatov:2003:EMB,
author = "Daler Rakhmatov and Sarma Vrudhula",
title = "Energy management for battery-powered embedded
systems",
journal = j-TECS,
volume = "2",
number = "3",
pages = "277--324",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Irani:2003:OSD,
author = "Sandy Irani and Sandeep Shukla and Rajesh Gupta",
title = "Online strategies for dynamic power management in
systems with multiple power-saving states",
journal = j-TECS,
volume = "2",
number = "3",
pages = "325--346",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhou:2003:AMC,
author = "Huiyang Zhou and Mark C. Toburen and Eric Rotenberg
and Thomas M. Conte",
title = "Adaptive mode control: {A} static-power-efficient
cache design",
journal = j-TECS,
volume = "2",
number = "3",
pages = "347--372",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Unsal:2003:CCC,
author = "Osman S. Unsal and Raksit Ashok and Israel Koren and
C. Mani Krishna and Csaba Andras Moritz",
title = "{Cool-Cache}: {A} compiler-enabled energy efficient
data caching framework for embedded/multimedia
processors",
journal = j-TECS,
volume = "2",
number = "3",
pages = "373--392",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Yun:2003:EOV,
author = "Han-Saem Yun and Jihong Kim",
title = "On energy-optimal voltage scheduling for
fixed-priority hard real-time systems",
journal = j-TECS,
volume = "2",
number = "3",
pages = "393--430",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Schurgers:2003:PME,
author = "Curt Schurgers and Vijay Raghunathan and Mani B.
Srivastava",
title = "Power management for energy-aware communication
systems",
journal = j-TECS,
volume = "2",
number = "3",
pages = "431--447",
month = aug,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Aug 7 11:26:42 MDT 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Gordon-Ross:2003:TIC,
author = "Ann Gordon-Ross and Susan Cotterell and Frank Vahid",
title = "Tiny instruction caches for low power embedded
systems",
journal = j-TECS,
volume = "2",
number = "4",
pages = "449--481",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Lin:2003:CMC,
author = "Kelvin Lin and Chung-Ping Chung and Jean Jyh-Jiun
Shann",
title = "Compressing {MIPS} code by multiple operand
dependencies",
journal = j-TECS,
volume = "2",
number = "4",
pages = "482--508",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Musoll:2003:SRU,
author = "Enric Musoll",
title = "Speculating to reduce unnecessary power consumption",
journal = j-TECS,
volume = "2",
number = "4",
pages = "509--536",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Rusu:2003:MRR,
author = "Cosmin Rusu and Rami Melhem and Daniel Moss{\'e}",
title = "Maximizing rewards for real-time applications with
energy constraints",
journal = j-TECS,
volume = "2",
number = "4",
pages = "537--559",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Venkataramani:2003:ACC,
author = "Girish Venkataramani and Walid Najjar and Fadi Kurdahi
and Nader Bagherzadeh and Wim Bohm and Jeff Hammes",
title = "Automatic compilation to a coarse-grained
reconfigurable system-on-a-chip",
journal = j-TECS,
volume = "2",
number = "4",
pages = "560--589",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhuge:2003:CSR,
author = "Qingfeng Zhuge and Bin Xiao and Edwin H.-M. Sha",
title = "Code size reduction technique and implementation for
software-pipelined {DSP} applications",
journal = j-TECS,
volume = "2",
number = "4",
pages = "590--613",
month = nov,
year = "2003",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Mon Dec 22 17:52:29 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Gupta:2004:GES,
author = "Rajesh Gupta",
title = "Guest editorial: {Special} issue on networked embedded
systems",
journal = j-TECS,
volume = "3",
number = "1",
pages = "1--2",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Raghunathan:2004:EEW,
author = "Vijay Raghunathan and Saurabh Ganeriwal and Mani
Srivastava and Curt Schurgers",
title = "Energy efficient wireless packet scheduling and fair
queuing",
journal = j-TECS,
volume = "3",
number = "1",
pages = "3--23",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bulusu:2004:SCL,
author = "Nirupama Bulusu and John Heidemann and Deborah Estrin
and Tommy Tran",
title = "Self-configuring localization systems: Design and
Experimental Evaluation",
journal = j-TECS,
volume = "3",
number = "1",
pages = "24--60",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zou:2004:SDT,
author = "Yi Zou and Krishnendu Chakrabarty",
title = "Sensor deployment and target localization in
distributed sensor networks",
journal = j-TECS,
volume = "3",
number = "1",
pages = "61--91",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Gebotys:2004:DSC,
author = "Catherine H. Gebotys",
title = "Design of secure cryptography against the threat of
power-attacks in {DSP}-embedded processors",
journal = j-TECS,
volume = "3",
number = "1",
pages = "92--113",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Mishra:2004:MVP,
author = "Prabhat Mishra and Nikil Dutt",
title = "Modeling and validation of pipeline specifications",
journal = j-TECS,
volume = "3",
number = "1",
pages = "114--139",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Mishra:2004:PMC,
author = "Prabhat Mishra and Mahesh Mamidipaka and Nikil Dutt",
title = "Processor-memory coexploration using an architecture
description language",
journal = j-TECS,
volume = "3",
number = "1",
pages = "140--162",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Naik:2004:CCS,
author = "Mayur Naik and Jens Palsberg",
title = "Compiling with code-size constraints",
journal = j-TECS,
volume = "3",
number = "1",
pages = "163--181",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Schmitz:2004:ISO,
author = "Marcus T. Schmitz and Bashir M. Al-Hashimi and Petru
Eles",
title = "Iterative schedule optimization for voltage scalable
distributed embedded systems",
journal = j-TECS,
volume = "3",
number = "1",
pages = "182--217",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Stitt:2004:ESS,
author = "Greg Stitt and Frank Vahid and Shawn Nematbakhsh",
title = "Energy savings and speedups from partitioning critical
software loops to hardware in embedded systems",
journal = j-TECS,
volume = "3",
number = "1",
pages = "218--232",
month = feb,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Mar 6 07:14:21 MST 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Lach:2004:ESI,
author = "John Lach and Kia Bazargan",
title = "Editorial: {Special} issue on dynamically adaptable
embedded systems",
journal = j-TECS,
volume = "3",
number = "2",
pages = "233--236",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ghiasi:2004:OAM,
author = "Soheil Ghiasi and Ani Nahapetian and Majid
Sarrafzadeh",
title = "An optimal algorithm for minimizing run-time
reconfiguration delay",
journal = j-TECS,
volume = "3",
number = "2",
pages = "237--256",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Robertson:2004:DFP,
author = "Ian Robertson and James Irvine",
title = "A design flow for partially reconfigurable hardware",
journal = j-TECS,
volume = "3",
number = "2",
pages = "257--283",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Mejia-Alvarez:2004:ASS,
author = "Pedro Mejia-Alvarez and Eugene Levner and Daniel
Moss{\'e}",
title = "Adaptive scheduling server for power-aware real-time
tasks",
journal = j-TECS,
volume = "3",
number = "2",
pages = "284--306",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2004:BAP,
author = "Fan Zhang and Samuel T. Chanson",
title = "Blocking-aware processor voltage scheduling for
real-time tasks",
journal = j-TECS,
volume = "3",
number = "2",
pages = "307--335",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2004:DAF,
author = "Ying Zhang and Krishnendu Chakrabarty",
title = "Dynamic adaptation for fault tolerance and power
management in embedded real-time systems",
journal = j-TECS,
volume = "3",
number = "2",
pages = "336--360",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Huang:2004:DDR,
author = "Zhining Huang and Sharad Malik and Nahri Moreano and
Guido Araujo",
title = "The design of dynamically reconfigurable datapath
coprocessors",
journal = j-TECS,
volume = "3",
number = "2",
pages = "361--384",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Noguera:2004:MRA,
author = "Juanjo Noguera and Rosa M. Badia",
title = "Multitasking on reconfigurable architectures:
microarchitecture support and dynamic scheduling",
journal = j-TECS,
volume = "3",
number = "2",
pages = "385--406",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2004:STC,
author = "Chuanjun Zhang and Frank Vahid and Roman Lysecky",
title = "A self-tuning cache architecture for embedded
systems",
journal = j-TECS,
volume = "3",
number = "2",
pages = "407--425",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{He:2004:AAA,
author = "Tian He and Brian M. Blum and John A. Stankovic and
Tarek Abdelzaher",
title = "{AIDA}: {Adaptive} application-independent data
aggregation in wireless sensor networks",
journal = j-TECS,
volume = "3",
number = "2",
pages = "426--457",
month = may,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Serpanos:2004:GES,
author = "Dimitrios N. Serpanos and Haris Lekatsas",
title = "Guest editorial: {Special} issue on embedded systems
and security",
journal = j-TECS,
volume = "3",
number = "3",
pages = "459--460",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ravi:2004:SES,
author = "Srivaths Ravi and Anand Raghunathan and Paul Kocher
and Sunil Hattangady",
title = "Security in embedded systems: {Design} challenges",
journal = j-TECS,
volume = "3",
number = "3",
pages = "461--491",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Coron:2004:SSL,
author = "Jean-Sebastien Coron and David Naccache and Paul
Kocher",
title = "Statistics and secret leakage",
journal = j-TECS,
volume = "3",
number = "3",
pages = "492--508",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Wollinger:2004:EHC,
author = "Thomas Wollinger and Jan Pelzl and Volker
Wittelsberger and Christof Paar and G{\"o}kay Saldamli
and {\c{C}}etin K. Ko{\c{c}}",
title = "Elliptic and hyperelliptic curves on embedded
{$\mu$P}",
journal = j-TECS,
volume = "3",
number = "3",
pages = "509--533",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Wollinger:2004:SFS,
author = "Thomas Wollinger and Jorge Guajardo and Christof
Paar",
title = "Security on {FPGAs}: {State-of-the-art}
implementations and attacks",
journal = j-TECS,
volume = "3",
number = "3",
pages = "534--574",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reyhani-Masoleh:2004:EDS,
author = "Arash Reyhani-Masoleh and M. Anwar Hasan",
title = "Efficient digit-serial normal basis multipliers over
binary extension fields",
journal = j-TECS,
volume = "3",
number = "3",
pages = "575--592",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reyhani-Masoleh:2004:TFT,
author = "Arash Reyhani-Masoleh and M. Anwar Hasan",
title = "Towards fault-tolerant cryptographic computations over
finite fields",
journal = j-TECS,
volume = "3",
number = "3",
pages = "593--613",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Liu:2004:FSM,
author = "Rong-Tai Liu and Nen-Fu Huang and Chih-Hao Chen and
Chia-Nan Kao",
title = "A fast string-matching algorithm for network
processor-based intrusion detection system",
journal = j-TECS,
volume = "3",
number = "3",
pages = "614--633",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Park:2004:LLS,
author = "Taejoon Park and Kang G. Shin",
title = "{LiSP}: {A} lightweight security protocol for wireless
sensor networks",
journal = j-TECS,
volume = "3",
number = "3",
pages = "634--660",
month = aug,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:47 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Harkin:2004:MOR,
author = "J. Harkin and T. M. McGinnity and L. P. Maguire",
title = "Modeling and optimizing run-time reconfiguration using
evolutionary computation",
journal = j-TECS,
volume = "3",
number = "4",
pages = "661--685",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Im:2004:DVS,
author = "Chaeseok Im and Soonhoi Ha and Huiseok Kim",
title = "Dynamic voltage scheduling with buffers in low-power
multimedia applications",
journal = j-TECS,
volume = "3",
number = "4",
pages = "686--705",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Manolache:2004:SAA,
author = "Sorin Manolache and Petru Eles and Zebo Peng",
title = "Schedulability analysis of applications with
stochastic task execution times",
journal = j-TECS,
volume = "3",
number = "4",
pages = "706--735",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Serpanos:2004:EHS,
author = "Dimitrios N. Serpanos and Poluxeni Mountrouidou and
Maria Gamvrili",
title = "Evaluation of hardware and software schedulers for
embedded switches",
journal = j-TECS,
volume = "3",
number = "4",
pages = "736--759",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Lanotte:2004:IFH,
author = "Ruggero Lanotte and Andrea Maggiolo-Schettini and
Simone Tini",
title = "Information flow in hybrid systems",
journal = j-TECS,
volume = "3",
number = "4",
pages = "760--799",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Liu:2004:MMB,
author = "Donggang Liu and Peng Ning",
title = "Multilevel {$\mu$TESLA}: {Broadcast} authentication
for distributed sensor networks",
journal = j-TECS,
volume = "3",
number = "4",
pages = "800--836",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chang:2004:RTG,
author = "Li-Pin Chang and Tei-Wei Kuo and Shi-Wu Lo",
title = "Real-time garbage collection for flash-memory storage
systems of real-time embedded systems",
journal = j-TECS,
volume = "3",
number = "4",
pages = "837--863",
month = nov,
year = "2004",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Fri Oct 29 06:35:48 MDT 2004",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Mueller:2005:ISI,
author = "Frank Mueller and Per Stenstr{\"o}m",
title = "Introduction to the special issue",
journal = j-TECS,
volume = "4",
number = "1",
pages = "1--2",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Krishnaswamy:2005:DCB,
author = "Arvind Krishnaswamy and Rajiv Gupta",
title = "Dynamic coalescing for 16-bit instructions",
journal = j-TECS,
volume = "4",
number = "1",
pages = "3--37",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Corliss:2005:IED,
author = "Marc L. Corliss and E. Christopher Lewis and Amir
Roth",
title = "The implementation and evaluation of dynamic code
decompression using {DISE}",
journal = j-TECS,
volume = "4",
number = "1",
pages = "38--72",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Dhurjati:2005:MSG,
author = "Dinakar Dhurjati and Sumant Kowshik and Vikram Adve
and Chris Lattner",
title = "Memory safety without garbage collection for embedded
applications",
journal = j-TECS,
volume = "4",
number = "1",
pages = "73--111",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Pop:2005:SDF,
author = "Paul Pop and Petru Eles and Zebo Peng",
title = "Schedulability-driven frame packing for multicluster
distributed embedded systems",
journal = j-TECS,
volume = "4",
number = "1",
pages = "112--140",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Swaminathan:2005:PBE,
author = "Vishnu Swaminathan and Krishnendu Chakrabarty",
title = "Pruning-based, energy-optimal, deterministic {I/O}
device scheduling for hard real-time systems",
journal = j-TECS,
volume = "4",
number = "1",
pages = "141--167",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chiou:2005:SAS,
author = "Lih-yih Chiou and Swarup Bhunia and Kaushik Roy",
title = "Synthesis of application-specific highly efficient
multi-mode cores for embedded systems",
journal = j-TECS,
volume = "4",
number = "1",
pages = "168--188",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zambreno:2005:SOA,
author = "Joseph Zambreno and Alok Choudhary and Rahul Simha and
Bhagi Narahari and Nasir Memon",
title = "{SAFE-OPS}: {An} approach to embedded software
security",
journal = j-TECS,
volume = "4",
number = "1",
pages = "189--210",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kwon:2005:OVA,
author = "Woo-Cheol Kwon and Taewhan Kim",
title = "Optimal voltage allocation techniques for dynamically
variable voltage processors",
journal = j-TECS,
volume = "4",
number = "1",
pages = "211--230",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Tan:2005:EME,
author = "T. K. Tan and A. Raghunathan and N. K. Jha",
title = "Energy macromodeling of embedded operating systems",
journal = j-TECS,
volume = "4",
number = "1",
pages = "231--254",
month = feb,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Mar 24 15:48:07 MST 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Shukla:2005:GES,
author = "Sandeep K. Shukla and Jean-Pierre Talpin",
title = "Guest editorial: {Special} issue on models and
methodologies for co-design of embedded systems",
journal = j-TECS,
volume = "4",
number = "2",
pages = "225--227",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Cachera:2005:VSP,
author = "David Cachera and Katell Morin-Allory",
title = "Verification of safety properties for parameterized
regular systems",
journal = j-TECS,
volume = "4",
number = "2",
pages = "228--266",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chouali:2005:PPM,
author = "S. Chouali and J. Julliand and P.-A. Masson and F.
Bellegarde",
title = "{PLTL}-partitioned model checking for reactive systems
under fairness assumptions",
journal = j-TECS,
volume = "4",
number = "2",
pages = "267--301",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Gardner:2005:CCS,
author = "William B. Gardner",
title = "Converging {CSP} specifications and {C++} programming
via selective formalism",
journal = j-TECS,
volume = "4",
number = "2",
pages = "302--330",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ziller:2005:CSS,
author = "Roberto Ziller and Klaus Schneider",
title = "Combining supervisor synthesis and model checking",
journal = j-TECS,
volume = "4",
number = "2",
pages = "331--362",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2005:HCC,
author = "Chuanjun Zhang and Frank Vahid and Walid Najjar",
title = "A highly configurable cache for low energy embedded
systems",
journal = j-TECS,
volume = "4",
number = "2",
pages = "363--387",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kadayif:2005:DSO,
author = "I. Kadayif and M. Kandemir",
title = "Data space-oriented tiling for enhancing locality",
journal = j-TECS,
volume = "4",
number = "2",
pages = "388--414",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Muresan:2005:ICM,
author = "Radu Muresan and Catherine Gebotys",
title = "Instantaneous current modeling in a complex {VLIW}
processor core",
journal = j-TECS,
volume = "4",
number = "2",
pages = "415--451",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Petrov:2005:RCF,
author = "Peter Petrov and Alex Orailoglu",
title = "A reprogrammable customization framework for efficient
branch resolution in embedded processors",
journal = j-TECS,
volume = "4",
number = "2",
pages = "452--468",
month = may,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Tue Jun 21 16:50:36 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Burns:2005:E,
author = "Alan Burns",
title = "Editorial",
journal = j-TECS,
volume = "4",
number = "3",
pages = "469--471",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Sangiovanni-Vincentelli:2005:OES,
author = "Alberto L. Sangiovanni-Vincentelli and Alessandro
Pinto",
title = "An overview of embedded system design education at
{Berkeley}",
journal = j-TECS,
volume = "4",
number = "3",
pages = "472--499",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Koopman:2005:UES,
author = "Philip Koopman and Howie Choset and Rajeev Gandhi and
Bruce Krogh and Diana Marculescu and Priya Narasimhan
and Joann M. Paul and Ragunathan Rajkumar and Daniel
Siewiorek and Asim Smailagic and Peter Steenkiste and
Donald E. Thomas and Chenxi Wang",
title = "Undergraduate embedded system education at {Carnegie
Mellon}",
journal = j-TECS,
volume = "4",
number = "3",
pages = "500--528",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Verbauwhede:2005:SES,
author = "Ingrid Verbauwhede and Patrick Schaumont",
title = "Skiing the embedded systems mountain",
journal = j-TECS,
volume = "4",
number = "3",
pages = "529--548",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Sztipanovits:2005:IES,
author = "Janos Sztipanovits and Gautam Biswas and Ken Frampton
and Aniruddha Gokhale and Larry Howard and Gabor Karsai
and T. John Koo and Xenofon Koutsoukos and Douglas C.
Schmidt",
title = "Introducing embedded software and systems education
and advanced learning technology in an engineering
curriculum",
journal = j-TECS,
volume = "4",
number = "3",
pages = "549--568",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Seviora:2005:CES,
author = "Rudolph E. Seviora",
title = "A curriculum for embedded system engineering",
journal = j-TECS,
volume = "4",
number = "3",
pages = "569--586",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Caspi:2005:GGC,
author = "P. Caspi and A. Sangiovanni-Vincentelli and L. Almeida
and A. Benveniste and B. Bouyssounouse and G. Buttazzo
and I. Crnkovic and W. Damm and J. Engblom and G.
Folher and M. Garcia-Valls and H. Kopetz and Y.
Lakhnech and F. Laroussinie and L. Lavagno and G.
Lipari and F. Maraninchi and Ph. Peti and J. de la
Puente and N. Scaife and J. Sifakis and R. de Simone
and M. Torngren and P. Ver{\'\i}ssimo and A. J.
Wellings and R. Wilhelm and T. Willemse and W. Yi",
title = "Guidelines for a graduate curriculum on embedded
software and systems",
journal = j-TECS,
volume = "4",
number = "3",
pages = "587--611",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Huang:2005:ESC,
author = "Tai-Yi Huang and Chung-Ta King and Youn-Long Steve Lin
and Yin-Tsung Hwang",
title = "The embedded software consortium of {Taiwan}",
journal = j-TECS,
volume = "4",
number = "3",
pages = "612--632",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Grimheden:2005:WES,
author = "Martin Grimheden and Martin T{\"o}rngren",
title = "What is embedded systems and how should it be
taught?---results from a didactic analysis",
journal = j-TECS,
volume = "4",
number = "3",
pages = "633--651",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2005:RDC,
author = "Wei Zhang and Mahmut Kandemir and Mustafa Karakoy and
Guangyu Chen",
title = "Reducing data cache leakage energy using a
compiler-based approach",
journal = j-TECS,
volume = "4",
number = "3",
pages = "652--678",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kim:2005:DDC,
author = "Hyung Seok Kim and Tarek F. Abdelzaher and Wook Hyun
Kwon",
title = "Dynamic delay-constrained minimum-energy dissemination
in wireless sensor networks",
journal = j-TECS,
volume = "4",
number = "3",
pages = "679--706",
month = aug,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Sat Sep 17 15:05:12 MDT 2005",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Alur:2005:P,
author = "Rajeev Alur and Insup Lee",
title = "Preface",
journal = j-TECS,
volume = "4",
number = "4",
pages = "707--707",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Tardieu:2005:LE,
author = "Olivier Tardieu and Robert de Simone",
title = "Loops in {ESTEREL}",
journal = j-TECS,
volume = "4",
number = "4",
pages = "708--750",
month = nov,
year = "2005",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1113830.1113832",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Regehr:2005:ESO,
author = "John Regehr and Alastair Reid and Kirk Webb",
title = "Eliminating stack overflow by abstract
interpretation",
journal = j-TECS,
volume = "4",
number = "4",
pages = "751--778",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Tripakis:2005:TDT,
author = "Stavros Tripakis and Christos Sofronis and Paul Caspi
and Adrian Curic",
title = "Translating discrete-time {Simulink} to {Lustre}",
journal = j-TECS,
volume = "4",
number = "4",
pages = "779--818",
month = nov,
year = "2005",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1113830.1113834",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kadayif:2005:CDH,
author = "I. Kadayif and M. Kandemir and G. Chen and N.
Vijaykrishnan and M. J. Irwin and A. Sivasubramaniam",
title = "Compiler-directed high-level energy estimation and
optimization",
journal = j-TECS,
volume = "4",
number = "4",
pages = "819--850",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Hu:2005:ADR,
author = "J. Hu and M. Kandemir and N. Vijaykrishnan and M. J.
Irwin",
title = "Analyzing data reuse for cache reconfiguration",
journal = j-TECS,
volume = "4",
number = "4",
pages = "851--876",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{He:2005:RFL,
author = "Tian He and Chengdu Huang and Brian M. Blum and John
A. Stankovic and Tarek F. Abdelzaher",
title = "Range-free localization and its impact on large scale
sensor networks",
journal = j-TECS,
volume = "4",
number = "4",
pages = "877--906",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Gaujal:2005:SPA,
author = "Bruno Gaujal and Nicolas Navet and Cormac Walsh",
title = "Shortest-path algorithms for real-time scheduling of
{FIFO} tasks with minimal energy use",
journal = j-TECS,
volume = "4",
number = "4",
pages = "907--933",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bartolini:2005:OIC,
author = "S. Bartolini and C. A. Prete",
title = "Optimizing instruction cache performance of embedded
systems",
journal = j-TECS,
volume = "4",
number = "4",
pages = "934--965",
month = nov,
year = "2005",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu Feb 16 10:59:18 MST 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Zhang:2006:RDL,
author = "W. Zhang and Y.-F. Tsai and D. Duarte and N.
Vijaykrishnan and M. Kandemir and M. J. Irwin",
title = "Reducing dynamic and leakage energy in {VLIW}
architectures",
journal = j-TECS,
volume = "5",
number = "1",
pages = "1--28",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Coussy:2006:FMH,
author = "Philippe Coussy and Emmanuel Casseau and Pierre Bomel
and Adel Baganne and Eric Martin",
title = "A formal method for hardware {IP} design and
integration under {I/O} and timing constraints",
journal = j-TECS,
volume = "5",
number = "1",
pages = "29--53",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Varea:2006:DFN,
author = "Mauricio Varea and Bashir M. Al-Hashimi and Luis A.
Cort{\'e}S and Petru Eles and Zebo Peng",
title = "{Dual Flow Nets}: {Modeling} the control\slash
data-flow relation in embedded systems",
journal = j-TECS,
volume = "5",
number = "1",
pages = "54--81",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{AbouGhazaleh:2006:COS,
author = "Nevine AbouGhazaleh and Daniel Moss{\'e} and Bruce R.
Childers and Rami Melhem",
title = "Collaborative operating system and compiler power
management for real-time applications",
journal = j-TECS,
volume = "5",
number = "1",
pages = "82--115",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Dean:2006:STI,
author = "Alexander G. Dean",
title = "Software thread integration for embedded system
display applications",
journal = j-TECS,
volume = "5",
number = "1",
pages = "116--151",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Alur:2006:PAR,
author = "Rajeev Alur and Thao Dang and Franjo
Ivan{\v{c}}i{\'c}",
title = "Predicate abstraction for reachability analysis of
hybrid systems",
journal = j-TECS,
volume = "5",
number = "1",
pages = "152--199",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Seth:2006:FFA,
author = "Kiran Seth and Aravindh Anantaraman and Frank Mueller
and Eric Rotenberg",
title = "{FAST}: {Frequency-Aware Static Timing} analysis",
journal = j-TECS,
volume = "5",
number = "1",
pages = "200--224",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chen:2006:RCS,
author = "G. Chen and M. Kandemir and M. J. Irwin and J.
Ramanujam",
title = "Reducing code size through address register
assignment",
journal = j-TECS,
volume = "5",
number = "1",
pages = "225--258",
month = feb,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Thu May 18 08:17:05 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Jerraya:2006:GEC,
author = "Ahmed Jerraya and Trevor Mudge",
title = "Guest editorial: {Concurrent} hardware and software
design for multiprocessor {SoC}",
journal = j-TECS,
volume = "5",
number = "2",
pages = "259--262",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Xu:2006:DMA,
author = "Jiang Xu and Wayne Wolf and Joerg Henkel and Srimat
Chakradhar",
title = "A design methodology for application-specific
networks-on-chip",
journal = j-TECS,
volume = "5",
number = "2",
pages = "263--280",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kangas:2006:UBM,
author = "Tero Kangas and Petri Kukkala and Heikki Orsila and
Erno Salminen and Marko H{\"a}nnik{\"a}inen and Timo D.
H{\"a}m{\"a}l{\"a}inen and Jouni Riihim{\"a}ki and
Kimmo Kuusilinna",
title = "{UML}-based multiprocessor {SoC} design framework",
journal = j-TECS,
volume = "5",
number = "2",
pages = "281--320",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Hua:2006:EEE,
author = "Shaoxiong Hua and Gang Qu and Shuvra S.
Bhattacharyya",
title = "Energy-efficient embedded software implementation on
multiprocessor system-on-chip with multiple voltages",
journal = j-TECS,
volume = "5",
number = "2",
pages = "321--341",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Hessel:2006:SRA,
author = "Fabiano Hessel and Vitor M. {Da Rosa} and Carlos Eduardo
Reif and C{\'e}sar Marcon and Tatiana {Gadelha Serra Dos
Santos}",
title = "Scheduling refinement in abstract {RTOS} models",
journal = j-TECS,
volume = "5",
number = "2",
pages = "342--354",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ou:2006:DSE,
author = "Jingzhao Ou and Viktor K. Prasanna",
title = "Design space exploration using arithmetic-level
hardware--software cosimulation for configurable
multiprocessor platforms",
journal = j-TECS,
volume = "5",
number = "2",
pages = "355--382",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Loghi:2006:CCT,
author = "Mirko Loghi and Massimo Poncino and Luca Benini",
title = "Cache coherence tradeoffs in shared-memory {MPSoCs}",
journal = j-TECS,
volume = "5",
number = "2",
pages = "383--407",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Lapalme:2006:NEE,
author = "James Lapalme and El Mostapha Aboulhamid and Gabriela
Nicolescu",
title = "A new efficient {EDA} tool design methodology",
journal = j-TECS,
volume = "5",
number = "2",
pages = "408--430",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reshadi:2006:RFI,
author = "Mehrdad Reshadi and Nikil Dutt and Prabhat Mishra",
title = "A retargetable framework for instruction-set
architecture simulation",
journal = j-TECS,
volume = "5",
number = "2",
pages = "431--452",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Memik:2006:ENP,
author = "Gokhan Memik and William H. Mangione-Smith",
title = "Evaluating {Network Processors} using {NetBench}",
journal = j-TECS,
volume = "5",
number = "2",
pages = "453--471",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Udayakumaran:2006:DAS,
author = "Sumesh Udayakumaran and Angel Dominguez and Rajeev
Barua",
title = "Dynamic allocation for scratch-pad memory using
compile-time decisions",
journal = j-TECS,
volume = "5",
number = "2",
pages = "472--511",
month = may,
year = "2006",
CODEN = "????",
ISSN = "1539-9087",
bibdate = "Wed Aug 23 05:26:43 MDT 2006",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Wu:2006:EEU,
author = "Haisang Wu and Binoy Ravindran and E. Douglas Jensen
and Peng Li",
title = "Energy-efficient, utility accrual scheduling under
resource constraints for mobile embedded systems",
journal = j-TECS,
volume = "5",
number = "3",
pages = "513--542",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165781",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "We present an energy-efficient, utility accrual,
real-time scheduling algorithm called ReUA. ReUA
considers an application model where activities are
subject to time/utility function time constraints,
mutual exclusion constraints on shared non-CPU
resources, and statistical performance requirements on
individual activity timeliness behavior. The algorithm
targets mobile embedded systems where {\em
system-level\/} energy consumption is also a major
concern. For such a model, we consider the scheduling
objectives of (1) satisfying the statistical
performance requirements and (2) maximizing the
system-level energy efficiency, while respecting
resource constraints. Since the problem is NP-hard,
ReUA allocates CPU cycles using statistical properties
of application cycle demands, and heuristically
computes schedules with a polynomial time cost. We
analytically establish several timeliness and
nontimeliness properties of the algorithm. Further, our
simulation experiments illustrate ReUA's effectiveness
and superiority.",
acknowledgement = ack-nhfb,
}
@Article{Luo:2006:EEI,
author = "Liqian Luo and Tarek F. Abdelzaher and Tian He and
John A. Stankovic",
title = "{EnviroSuite}: {An} environmentally immersive
programming framework for sensor networks",
journal = j-TECS,
volume = "5",
number = "3",
pages = "543--576",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165782",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "Sensor networks open a new frontier for
embedded-distributed computing. Paradigms for sensor
network programming-in-the-large have been identified
as a significant challenge toward developing
large-scale applications. Classical programming
languages are too low-level. This paper presents the
design, implementation, and evaluation of EnviroSuite,
a programming framework that introduces a new paradigm,
called environmentally immersive programming, to
abstract distributed interactions with the environment.
Environmentally immersive programming refers to an
object-based programming model in which individual
objects represent physical elements in the external
environment. It allows the programmer to think directly
in terms of environmental abstractions. EnviroSuite
provides language primitives for environmentally
immersive programming that map transparently into a
support library of distributed algorithms for tracking
and environmental monitoring. We show how nesC code of
realistic applications is significantly simplified
using EnviroSuite and demonstrate the resulting system
performance on Mica2 and XSM platforms.",
acknowledgement = ack-nhfb,
}
@Article{Gebotys:2006:SMC,
author = "Catherine H. Gebotys",
title = "A split-mask countermeasure for low-energy secure
embedded systems",
journal = j-TECS,
volume = "5",
number = "3",
pages = "577--612",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165783",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "Future wireless embedded devices will be increasingly
powerful, supporting many more applications, including
one of the most crucial---security. Although many
embedded devices offer more resistance to bus---probing
attacks because of their compact size, susceptibility
to power or electromagnetic analysis attacks must be
analyzed. This paper presents a new split-mask
countermeasure to thwart low-order differential power
analysis (DPA) and differential EM analysis (DEMA). For
the first time, real-power and EM measurements are used
to analyze the difficulty of launching new third-order
DPA and DEMA attacks on a popular low-energy 32-bit
embedded ARM processor. Results show that the new
split-mask countermeasure provides increased security
without large overheads of energy dissipation, compared
to previous research. With the emergence of security
applications in PDAs, cell phones, and other embedded
devices, low-energy countermeasures for resistance to
low-order DPA/DEMA is crucial for supporting future
enabled wireless internet.",
acknowledgement = ack-nhfb,
}
@Article{Zhuang:2006:PLS,
author = "Xiaotong Zhuang and Santosh Pande",
title = "Parallelizing load\slash stores on dual-bank memory
embedded processors",
journal = j-TECS,
volume = "5",
number = "3",
pages = "613--657",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165784",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "Many modern embedded processors such as DSPs support
partitioned memory banks (also called X--Y memory or
dual-bank memory) along with parallel load/store
instructions to achieve higher code density and
performance. In order to effectively utilize the
parallel load/store instructions, the compiler must
partition the memory-resident values and assign them to
X or Y bank. This paper gives a postregister allocation
solution to merge the generated load/store instructions
into their parallel counterparts. Simultaneously, our
framework performs allocation of values to X or Y
memory banks. We first remove as many load/stores and
register--register moves as possible through an
excellent iterated coalescing based register allocator
by Appel and George [1996]. We then attempt to
parallelize the generated load/stores using a multipass
approach. The basic phase of our approach attempts the
merger of load/stores without duplication and web
splitting. We model this problem as a graph-coloring
problem in which each value is colored as either X or
Y. We then construct a motion scheduling graph (MSG),
based on the range of motion for each load/store
instruction. MSG reflects potential instructions that
could be merged. We propose a notion of pseudofixed
boundaries so that the load/store movement is less
affected by register dependencies. We prove that the
coloring problem for MSG is NP-complete and solve it
with two different heuristic algorithms with different
complexity. We then propose a two-level iterative
process to attempt instruction duplication, variable
duplication, web splitting, and local conflict
elimination to effectively merge the remaining
load/stores. Finally, we clean up some multiple-aliased
load/stores. To improve the performance, we combine
profiling information with each stage coupled with some
modifications to the algorithm. We show that our
framework results in parallelization of a large number
of load/stores without much growth in data and code
segments. The average speedup for our optimization pass
reaches roughly 13\% if no profile information is
available and 17\% with profile information. The
average code and data segment growth is controlled
within 13\%.",
acknowledgement = ack-nhfb,
}
@Article{Jones:2006:RPW,
author = "Alex K. Jones and Raymond Hoare and Dara Kusic and
Gayatri Mehta and Josh Fazekas and John Foster",
title = "Reducing power while increasing performance with
{SuperCISC}",
journal = j-TECS,
volume = "5",
number = "3",
pages = "658--686",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165785",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "Multiprocessor Systems on Chips (MPSoCs) have become a
popular architectural technique to increase
performance. However, MPSoCs may lead to undesirable
power consumption characteristics for computing systems
that have strict power budgets, such as PDAs, mobile
phones, and notebook computers. This paper presents the
super-complex instruction-set computing (SuperCISC)
Embedded Processor Architecture and, in particular,
investigates performance and power consumption of this
device compared to traditional processor
architecture-based execution. SuperCISC is a
heterogeneous, multicore processor architecture
designed to exceed performance of traditional embedded
processors while maintaining a reduced power budget
compared to low-power embedded processors. At the heart
of the SuperCISC processor is a multicore VLIW (Very
Large Instruction Word) containing several homogeneous
execution cores/functional units. In addition, complex
and heterogeneous combinational hardware function cores
are tightly integrated to the core VLIW engine
providing an opportunity for improved performance and
reduced energy consumption. Our SuperCISC processor
core has been synthesized for both a 90-nm Stratix II
Field Programmable Gate Aray (FPGA) and a 160-nm
standard cell Application-Specific Integrated Circuit
(ASIC) fabrication process from OKI, each operating at
approximately 167 MHz for the VLIW core. We examine
several reasons for speedup and power improvement
through the SuperCISC architecture, including
predicated control flow, cycle compression, and a
reduction in arithmetic power consumption, which we
call power compression. Finally, testing our SuperCISC
processor with multimedia and signal-processing
benchmarks, we show how the SuperCISC processor can
provide performance improvements ranging from 7X to
160X with an average of 60X, while also providing
orders of magnitude of power improvements for the
computational kernels. The power improvements for our
benchmark kernels range from just over 40X to over
400X, with an average savings exceeding 130X. By
combining these power and performance improvements, our
total energy improvements all exceed 1000X. As these
savings are limited to the computational kernels of the
applications, which often consume approximately
90\% of the execution time, we expect our savings
to approach the ideal application improvement of 10X.",
acknowledgement = ack-nhfb,
}
@Article{Girault:2006:ARD,
author = "Alain Girault and Xavier Nicollin and Marc Pouzet",
title = "Automatic rate desynchronization of embedded reactive
programs",
journal = j-TECS,
volume = "5",
number = "3",
pages = "687--717",
month = aug,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1165780.1165786",
ISSN = "1539-9087",
bibdate = "Wed Oct 11 06:45:18 MDT 2006",
bibsource = "http://portal.acm.org/",
abstract = "Many embedded reactive programs perform computations
at different rates, while still requiring the overall
application to satisfy very tight temporal constraints.
We propose a method to automatically distribute
programs such that the obtained parts can be run at
different rates, which we call rate desynchronization.
We consider general programs whose control structure is
a finite state automaton and with a DAG of actions in
each state. The motivation is to take into account
long-duration tasks inside the programs: these are
tasks whose execution time is long compared to the
other computations in the application, and whose
maximal execution rate is known and bounded. Merely
scheduling such a long duration task at a slow rate
would not work since the whole program would be slowed
down if compiled into sequential code. It would thus be
impossible to meet the temporal constraints, unless
such long duration tasks could be desynchronized from
the remaining computations. This is precisely what our
method achieves: it distributes the initial program
into several parts, so that the parts performing the
slow computations can be run at an appropriate rate,
therefore not impairing the global reaction time of the
program. We present in detail our method, all the
involved algorithms, and a small running example. We
also compare our method with the related work.",
acknowledgement = ack-nhfb,
}
@Article{Biswas:2006:MOP,
author = "Surupa Biswas and Thomas Carley and Matthew Simpson
and Bhuvan Middha and Rajeev Barua",
title = "Memory overflow protection for embedded systems using
run-time checks, reuse, and compression",
journal = j-TECS,
volume = "5",
number = "4",
pages = "719--752",
month = nov,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1196636.1196637",
ISSN = "1539-9087",
bibdate = "Thu Jun 12 15:20:45 MDT 2008",
bibsource = "http://portal.acm.org/",
abstract = "Embedded systems usually lack virtual memory and are
vulnerable to memory overflow since they lack a
mechanism to detect overflow or use swap space
thereafter. We present a method to detect memory
overflows using compiler-inserted software run-time
checks. Its overheads in run-time and energy are 1.35
and 1.12\%, respectively. Detection of overflow allows
system-specific remedial action. We also present
techniques to grow the stack or heap segment after they
overflow, into previously unutilized space, such as
dead variables, free holes in the heap, and space freed
by compressing live variables. These may avoid the
out-of-memory error if the space recovered is enough to
complete execution. The reuse methods are able to grow
the stack or heap beyond its overflow by an amount that
varies widely by application---the amount of recovered
space ranges from 0.7 to 93.5\% of the combined stack
and heap size.",
acknowledgement = ack-nhfb,
keywords = "data compression; heap overflow; out-of-memory errors;
reliability; reuse; run-time checks; stack overflow",
}
@Article{Higuera-Toledano:2006:HSD,
author = "M. Teresa Higuera-Toledano",
title = "Hardware support for detecting illegal references in a
multiapplication real-time {Java} environment",
journal = j-TECS,
volume = "5",
number = "4",
pages = "753--772",
month = nov,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1196636.1196638",
ISSN = "1539-9087",
bibdate = "Thu Jun 12 15:20:45 MDT 2008",
bibsource = "http://portal.acm.org/",
abstract = "Our objective is to adapt the Java memory management
to an embedded system, e.g., a wireless PDA executing
concurrent multimedia applications within a single JVM.
This paper provides software, and hardware-based
solutions detecting both illegal references across the
application memory spaces and dangling pointers within
an application space. We give an approach to
divide/share the memory among the applications
executing concurrently in the system. We introduce and
define application-specific memory, building upon the
real-time specification for Java (RTSJ) from the
real-time Java expert group. The memory model used in
RTSJ imposes strict rules for assignment between memory
areas, preventing the creation of dangling pointers,
and thus maintaining the pointer safety of Java. Our
implementation solution to ensure the checking of these
rules before each assignment inserts write barriers
that use a stack-based algorithm. This solution
adversely affects both the performance and
predictability of the RTSJ applications, which can be
improved by using an existing hardware support.",
acknowledgement = ack-nhfb,
keywords = "garbage collection; memory management; write
barriers",
}
@Article{Winter:2006:TPC,
author = "Victor L. Winter and Jason Beranek and Fares Fraij and
Steve Roach and Greg Wickstrom",
title = "A transformational perspective into the core of an
abstract class loader for the {SSP}",
journal = j-TECS,
volume = "5",
number = "4",
pages = "773--818",
month = nov,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1196636.1196639",
ISSN = "1539-9087",
bibdate = "Thu Jun 12 15:20:45 MDT 2008",
bibsource = "http://portal.acm.org/",
abstract = "The SSP is a hardware implementation of a subset of
the JVM for use in high-consequence embedded
applications. In this context, a majority of the
activities belonging to class loading, as it is defined
in the specification of the JVM, can be performed
statically. Static class loading has the net result of
dramatically simplifying the design of the SSP, as well
as increasing its performance. Because of the high
consequence nature of its applications, strong evidence
must be provided that all aspects of the SSP have been
implemented correctly. This includes the class loader.
This article explores the possibility of formally
verifying a class loader for the SSP implemented in the
strategic programming language TL. Specifically, an
implementation of the core activities of an abstract
class loader is presented and its verification in ACL2
is considered.",
acknowledgement = ack-nhfb,
keywords = "HATS; higher-order rewriting; SSP; strategic
programming; TL",
}
@Article{Kulkarni:2006:VVI,
author = "Prasad Kulkarni and Wankang Zhao and Stephen Hines and
David Whalley and Xin Yuan and Robert van Engelen and
Kyle Gallivan and Jason Hiser and Jack Davidson and
Baosheng Cai and Mark Bailey and Hwashin Moon and
Kyunghwan Cho and Yunheung Paek",
title = "{VISTA}: {VPO} interactive system for tuning
applications",
journal = j-TECS,
volume = "5",
number = "4",
pages = "819--863",
month = nov,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1196636.1196640",
ISSN = "1539-9087",
bibdate = "Thu Jun 12 15:20:45 MDT 2008",
bibsource = "http://portal.acm.org/",
abstract = "Software designers face many challenges when
developing applications for embedded systems. One major
challenge is meeting the conflicting constraints of
speed, code size, and power consumption. Embedded
application developers often resort to hand-coded
assembly language to meet these constraints since
traditional optimizing compiler technology is usually
of little help in addressing this challenge. The
results are software systems that are not portable,
less robust, and more costly to develop and maintain.
Another limitation is that compilers traditionally
apply the optimizations to a program in a fixed order.
However, it has long been known that a single ordering
of optimization phases will not produce the best code
for every application. In fact, the smallest unit of
compilation in most compilers is typically a function
and the programmer has no control over the code
improvement process other than setting flags to enable
or disable certain optimization phases. This paper
describes a new code improvement paradigm implemented
in a system called VISTA that can help achieve the
cost/performance trade-offs that embedded applications
demand. The VISTA system opens the code improvement
process and gives the application programmer, when
necessary, the ability to finely control it. VISTA also
provides support for finding effective sequences of
optimization phases. This support includes the ability
to interactively get static and dynamic performance
information, which can be used by the developer to
steer the code improvement process. This performance
information is also internally used by VISTA for
automatically selecting the best optimization sequence
from several attempted. One such feature is the use of
a genetic algorithm to search for the most efficient
sequence based on specified fitness criteria. We
include a number of experimental results that evaluate
the effectiveness of using a genetic algorithm in VISTA
to find effective optimization phase sequences.",
acknowledgement = ack-nhfb,
keywords = "genetic algorithms; interactive compilation; phase
ordering; user-directed code improvement",
}
@Article{Ottoni:2006:OAU,
author = "Desiree Ottoni and Guilherme Ottoni and Guido Araujo
and Rainer Leupers",
title = "Offset assignment using simultaneous variable
coalescing",
journal = j-TECS,
volume = "5",
number = "4",
pages = "864--883",
month = nov,
year = "2006",
CODEN = "????",
DOI = "http://doi.acm.org/10.1145/1196636.1196641",
ISSN = "1539-9087",
bibdate = "Thu Jun 12 15:20:45 MDT 2008",
bibsource = "http://portal.acm.org/",
abstract = "The generation of efficient addressing code is a
central problem in compiling for processors with
restricted addressing modes, like digital signal
processors (DSPs). Offset assignment (OA) is the
problem of allocating scalar variables to memory, so as
to minimize the need of addressing instructions. This
problem is called simple offset assignment (SOA) when a
single address register is available, and general
offset assignment (GOA) when more address registers are
used. This paper shows how variables' liveness
information can be used to dramatically reduce the
addressing instructions required to access local
variables on the program stack. Two techniques that
make effective use of variable coalescing to solve SOA
and GOA are described, namely coalescing SOA (CSOA) and
coalescing GOA (CGOA). In ad