The Community for Technology Leaders
2011 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (2011)
Taipei
Oct. 9, 2011 to Oct. 14, 2011
ISBN: 978-1-4503-0715-4
TABLE OF CONTENTS

CODES+ISSS keynote: To alert, rescue and recover: Critical information technologies for managing mega disasters (Abstract)

Jane W. S. Liu , Institute of Information Science and Research Center for Information Technology Innovations, Academia Sinica, Taiwan
pp. 1

An energy-efficient patchable accelerator for post-silicon engineering changes (Abstract)

H. Yoshida , VLSI Design & Educ. Center, Univ. of Tokyo, Tokyo, Japan
M. Fujita , VLSI Design & Educ. Center, Univ. of Tokyo, Tokyo, Japan
pp. 13-20

Designing VM schedulers for embedded real-time applications (Abstract)

A. Masrur , Inst. for Real-Time Comput. Syst., Tech. Univ. Munich, Munich, Germany
T. Pfeuffer , Inst. for Real-Time Comput. Syst., Tech. Univ. Munich, Munich, Germany
M. Geier , Inst. for Real-Time Comput. Syst., Tech. Univ. Munich, Munich, Germany
S. Drossler , ReliaTec GmbH, Germany
S. Chakraborty , Inst. for Real-Time Comput. Syst., Tech. Univ. Munich, Munich, Germany
pp. 29-38

SoC-TM: Integrated HW/SW support for transactional memory programming on embedded MPSoCs (Abstract)

C. Ferri , Sch. of Eng., Brown Univ., Providence, RI, USA
R. I. Bahar , Sch. of Eng., Brown Univ., Providence, RI, USA
A. Marongiu , DEIS, Univ. of Bologna, Bologna, Italy
L. Benini , DEIS, Univ. of Bologna, Bologna, Italy
M. Herlihy , Eng. Dept., Swarthmore Coll., Swarthmore, PA, USA
B. Lipton , Eng. Dept., Swarthmore Coll., Swarthmore, PA, USA
T. Moreshet , Comput. Sci. Dept., Brown Univ., Providence, RI, USA
pp. 39-48

A design methodology to implement memory accesses in High-Level Synthesis (Abstract)

C. Pilato , Dipt. di Elettron. ed Inf., Politec. di Milano, Milan, Italy
F. Ferrandi , Dipt. di Elettron. ed Inf., Politec. di Milano, Milan, Italy
D. Sciuto , Dipt. di Elettron. ed Inf., Politec. di Milano, Milan, Italy
pp. 49-58

Correct and non-defensive glue design using abstract models (Abstract)

S. Tripakis , Univ. of California, Berkeley, CA, USA
H. Andrade , Nat. Instrum. Corp., Berkeley, CA, USA
A. Ghosal , Nat. Instrum. Corp., Berkeley, CA, USA
R. Limaye , Nat. Instrum. Corp., Berkeley, CA, USA
K. Ravindran , Nat. Instrum. Corp., Berkeley, CA, USA
Guoqiang Wang , Nat. Instrum. Corp., Berkeley, CA, USA
Guang Yang , Nat. Instrum. Corp., Berkeley, CA, USA
J. Kornerup , Nat. Instrum. Corp., Austin, TX, USA
I. Wong , Nat. Instrum. Corp., Austin, TX, USA
pp. 59-68

SPMVisor: Dynamic scratchpad memory virtualization for secure, low power, and high performance distributed on-chip memories (Abstract)

L. A. D. Bathen , Center for Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
N. D. Dutt , Center for Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
Dongyoun Shin , Sch. of Comput. Sci., Kookmin Univ., Seoul, South Korea
Sung-Soo Lim , Sch. of Comput. Sci., Kookmin Univ., Seoul, South Korea
pp. 79-88

Dynamic, multi-core cache coherence architecture for power-sensitive mobile processors (Abstract)

G. Bournoutian , Univ. of California, San Diego, La Jolla, CA, USA
A. Orailoglu , Univ. of California, San Diego, La Jolla, CA, USA
pp. 89-97

PRET DRAM controller: Bank privatization for predictability and temporal isolation (Abstract)

J. Reineke , Univ. of California, Berkeley, CA, USA
I. Liu , Univ. of California, Berkeley, CA, USA
H. D. Patel , Univ. of Waterloo, Waterloo, ON, Canada
Sungjun Kim , Columbia Univ., New York, NY, USA
E. A. Lee , Univ. of California, Berkeley, CA, USA
pp. 99-108

Mapping of applications to MPSoCs (Abstract)

P. Marwedel , Inf. 12, Tech. Univ. Dortmund, Dortmund, Germany
J. Teich , Univ. of Erlangen-Nuremberg, Erlangen, Germany
G. Kouveli , Univ. of Erlangen-Nuremberg, Erlangen, Germany
J. Bacivarov , ETH Zurich, Zurich, Switzerland
L. Thiele , ETH Zurich, Zurich, Switzerland
Soonhoi Ha , Seoul Nat. Univ., Seoul, South Korea
Chanhee Lee , Seoul Nat. Univ., Seoul, South Korea
Qiang Xu , Chinese Univ. of Hong Kong, Hong Kong, China
Lin Huang , Chinese Univ. of Hong Kong, Hong Kong, China
pp. 109-118

DistRM: Distributed resource management for on-chip many-core systems (Abstract)

S. Kobbe , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
L. Bauer , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
D. Lohmann , Friedrich-Alexander-Univ. (FAU), Nuremberg, Germany
W. Schroder-Preikschat , Friedrich-Alexander-Univ. (FAU), Nuremberg, Germany
J. Henkel , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
pp. 119-128

Symbolic design space exploration for multi-mode reconfigurable systems (Abstract)

S. Wildermann , Univ. of Erlangen-Nuremberg, Erlangen, Germany
F. Reimann , Univ. of Erlangen-Nuremberg, Erlangen, Germany
D. Ziener , Univ. of Erlangen-Nuremberg, Erlangen, Germany
J. Teich , Univ. of Erlangen-Nuremberg, Erlangen, Germany
pp. 129-138

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems (Abstract)

R. Schneider , Tech. Univ. Munich, Munich, Germany
D. Goswami , Tech. Univ. Munich, Munich, Germany
S. Zafar , Tech. Univ. Munich, Munich, Germany
S. Chakraborty , Tech. Univ. Munich, Munich, Germany
M. Lukasiewycz , TUM CREATE, Singapore, Singapore
pp. 139-148

Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints (Abstract)

P. Axer , Braunschweig, Tech. Univ., Braunschweig, Germany
M. Sebastian , Braunschweig, Tech. Univ., Braunschweig, Germany
R. Ernst , Braunschweig, Tech. Univ., Braunschweig, Germany
pp. 149-158

On buffering with stochastic guarantees in resource-constrained media players (Abstract)

B. Raman , Lab. d'Inf., Ecole Polytech., Palaiseau, France
G. Quintin , Lab. d'Inf., Ecole Polytech., Palaiseau, France
Wei Tsang Ooi , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
D. Gangadharan , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
J. Milan , Lab. d'Inf., Ecole Polytech., Palaiseau, France
S. Chakraborty , Inst. for Real-Time Comput. Syst., Tech. Univ. Munich, Munich, Germany
pp. 169-178

System-level power and timing variability characterization to Compute Thermal Guarantees (Abstract)

P. Kumar , Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
L. Thiele , Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
pp. 179-188

A linear-time approach for the transient thermal simulation of liquid-cooled 3D ICs (Abstract)

A. Fourmigue , Ecole Polytech., Montreal, QC, Canada
G. Beltrame , Ecole Polytech., Montreal, QC, Canada
G. Nicolescu , Ecole Polytech., Montreal, QC, Canada
E. M. Aboulhamid , Univ. of Montreal, Montreal, QC, Canada
pp. 197-205

Capacity metric for Chip Heterogeneous Multiprocessors (Abstract)

M. Otoom , Electr. & Comput. Eng., Virginia Tech, Blacksburg, VA, USA
J. M. Paul , Electr. & Comput. Eng., Virginia Tech, Blacksburg, VA, USA
pp. 207-216

Optimal memory controller placement for chip multiprocessor (Abstract)

T. C. Xu , Turku Center for Comput. Sci. (TUCS), Turku, Finland
P. Liljeberg , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
H. Tenhunen , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
pp. 217-226

Modeling and analysis of micro-ring based silicon photonic interconnect for embedded systems (Abstract)

M. Mohamed , Comput. & Energy Eng. Dept., Univ. of Colorado at Boulder, Boulder, CO, USA
Zheng Li , Comput. & Energy Eng. Dept., Univ. of Colorado at Boulder, Boulder, CO, USA
Xi Chen , Comput. & Energy Eng. Dept., Univ. of Colorado at Boulder, Boulder, CO, USA
A. Mickelson , Comput. & Energy Eng. Dept., Univ. of Colorado at Boulder, Boulder, CO, USA
Li Shang , Comput. & Energy Eng. Dept., Univ. of Colorado at Boulder, Boulder, CO, USA
pp. 227-236

Reliable software for unreliable hardware: Embedded code generation aiming at reliability (Abstract)

S. Rehman , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
M. Shafique , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
F. Kriebel , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
J. Henkel , Dept. of Embedded Syst., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
pp. 237-246

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems (Abstract)

Jia Huang , Fortiss GmbH, Munich, Germany
J. O. Blech , Fortiss GmbH, Munich, Germany
A. Raabe , Fortiss GmbH, Munich, Germany
C. Buckl , Fortiss GmbH, Munich, Germany
A. Knoll , Tech. Univ. Munchen, Munich, Germany
pp. 247-256

Reliability-aware placement in SRAM-based FPGA for voltage scaling realization in the presence of process variations (Abstract)

S. Golshan , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
A. Khajeh , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
H. Homayoun , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
E. Bozorgzadeh , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
A. Eltawil , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
F. J. Kurdahi , Center of Embedded Comput. Syst., Univ. of California, Irvine, CA, USA
pp. 257-266

Dynamic counters and the efficient and effective online power management of embedded real-time systems (Abstract)

K. Lampka , Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
Kai Huang , Fortiss GmbH, Munich, Germany
Jian-Jia Chen , Inst. for Process Control & Robot., Karlsruhe Inst. of Technol., Karlsruhe, Germany
pp. 267-276

Design entropy concept: A measurement for complexity (Abstract)

B. Menhorn , Inst. for Embedded Syst./Real-Time Syst., Ulm Univ., Ulm, Germany
F. Slomka , Inst. for Embedded Syst./Real-Time Syst., Ulm Univ., Ulm, Germany
pp. 285-294

Dominator homomorphism based code matching for source-level simulation of embedded software (Abstract)

S. Stattelmann , FZI Forschungszentrum Inf., Karlsruhe, Germany
O. Bringmann , FZI Forschungszentrum Inf., Karlsruhe, Germany
W. Rosenstiel , FZI Forschungszentrum Inf., Karlsruhe, Germany
pp. 305-314

Exploiting temporal decoupling to accelerate trace-driven NoC emulation (Abstract)

G. Krishnaiah , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Delhi, New Delhi, India
B. V. N. Silpa , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Delhi, New Delhi, India
P. R. Panda , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Delhi, New Delhi, India
A. Kumar , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Delhi, New Delhi, India
pp. 315-324

Emerging non-volatile memories: Opportunities and challenges (Abstract)

C. J. Xue , City Univ. of Hong Kong, Hong Kong, China
Youtao Zhang , Univ. of Pittsburgh, Pittsburgh, PA, USA
Yiran Chen , Univ. of Pittsburgh, Pittsburgh, PA, USA
Guangyu Sun , Pennsylvania State Univ., University Park, PA, USA
Hai Li , Polytech. Inst. of New York Univ., Brooklyn, NY, USA
pp. 325-334

Adaptive resource management for simultaneous multitasking in mixed-grained reconfigurable multi-core processors (Abstract)

W. Ahmed , Dept. of Embedded Syst., Karlsruhe Inst. of Technol., Karlsruhe, Germany
M. Shafique , Dept. of Embedded Syst., Karlsruhe Inst. of Technol., Karlsruhe, Germany
L. Bauer , Dept. of Embedded Syst., Karlsruhe Inst. of Technol., Karlsruhe, Germany
J. H. Karlsruhe , Dept. of Embedded Syst., Karlsruhe Inst. of Technol., Karlsruhe, Germany
pp. 365-374

Designing next-generation real-time streaming systems (Abstract)

S. Stuijk , Eindhoven Univ. of Technol., Eindhoven, Netherlands
T. Basten , Embedded Syst. Inst., Eindhoven Univ. of Technol., Eindhoven, Netherlands
B. Akesson , Eindhoven Univ. of Technol., Eindhoven, Netherlands
M. Geilen , Eindhoven Univ. of Technol., Eindhoven, Netherlands
J. Reineke , UC Berkeley, Berkeley, CA, USA
pp. 375-376

Digital microfluidic biochips: Functional diversity, More than Moore, and cyberphysical systems (Abstract)

K. Chakrabarty , Duke Univ., Durham, NC, USA
P. Pop , Tech. Univ. of Denmark, Lyngby, Denmark
Tsung-Yi Ho , Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 377
82 ms
(Ver 3.3 (11022016))