Sponsoring societies

In cooperation with

Premium contributors

Industrial/Academic contributors

Oct. 11 - Oct. 15Grenoble, France

technical program

GENERAL INFORMATION

2 ESWEEK 2009

WELCOME TO GRENOBLEThe City of Grenoble is a unique natural environment, an economic, technologi-cal and university network that encourages innovation, great artistic and cultur-al wealth: Grenoble – the choice of excellence: To get more information about Grenoble see

http://en.wikipedia.org/wiki/Grenoble

The Rhône-Alpes region is known for its concentrated high-level expertise in the Embedded Systems field due to the effective transfer of technology between Industry, Research, Education. A leading industrial sector with more than 2,000 companies generating over 63,000 industrial jobs in the Region and a turnover of € 11 billion.

The region boasts a major concentration of high-level international research and employs over 6,000 researchers. More than 30,000 students receive specialised training and education in every Embedded Systems field. Embedded System industry in Rhône-Alpes directly accounts for over 60000 jobs (and indirectly over three times as much) 35000 of which in Grenoble itself:

11000 in electronics,• 11000 in Information Technology,• 7000 in micro-electronics• and 6000 in software development •

Grenoble itself boasts one of the largest Scientific Communities in France, forming the largest centre for research after Paris, with a training potential of 61000 students.

ACCESSING GRENOBLEGrenoble is 145 km away from Geneva (Switzerland) and 247 km away from Turin. Within France, the city lies 106 km away from Lyon, 149km from Chamonix. It is accessible by 2 airports:

Lyon Saint-Exupéry Airport (45 minutes from Grenoble downtown) connect-• ed to all over the worldGeneva Cointrin International Airport (90 minutes from from Grenoble • downtown), connected to all over the world

There are several options to travel to and from the Lyon Saint-Exupéry air-port. The easiest and cheapest is by bus (1 hour and 5 minutes, 20 euros one way, departing each hour), which arrives directly at Grenoble’s railway station. Taking a taxi from the airport to Grenoble’s railway station costs around 120 euros; this trip should take around 1 hour depending on traffic.

COLOCATED EVENT

Embedded Linux Conference Europe (ELC-E) 2009

Come and join us!ELC-E is a meeting point of the international open source software developers for embed-ded systems together with other community people. It will be held during ESWEEK in the World Trade Center (Grenoble, France) on October 15th and 16th. 2009. Through the variety of sessions, Bofs, tutorials, technical showcases and evening reception we will exchange knowledge of open source software technologies. Come join us and be inspired by technical ideas on the evolution of Linux and related software for embedded systems, and at the same time be connected with your counterparts in this industry.ELC-E is unique in that it draws many core developers from around the world who are enthusiastic about building Linux-based software systems for small footprint environ-ments. Most of these developers are engaged in development projects of Linux embedded products. At the ELC-E you will experience the cutting edge of the Linux evolution.

Who should join?Anyone interested in embedded system software technologies are encouraged to join us at the ELC-E. Not only the actual developers but also the managers and media will find many advancements being discussed fur the future of the software design.Please visit our home page for the details.

http://www.embeddedlinuxconference.com

Conference highlightsKeynote speakers Jon Masters and Philippe Gerum will talk about recent trends in Linux development including the state of real-time Linux - from two isolated kernels to a single pervasive real-time system. Also Gilad Ben-Yossef will present a talk, completing the main writers of the well-known book “Building Embedded Linux Systems”. Another famous Linux author, Alessandro Rubini, will talk about the use of the fast IRQ in ARM-Linux, and many more topics will be addressed ranging from embedded Linux distributions and build systems to application frameworks for rich UI.Please see the session list at the ELC-E homepage for a complete overview.

Consumer Electronics Linux Forum (CELF)Main sponsor of the event is the Consumer Electronics Linux Forum (CELF). CELF is an international open source software development community established in 2003. It is a forum of like-minded software engineers dedicated to the development and enhancement of Linux-based embedded devices through the irreplaceable resource of shared knowledge. These engineers bring their ideas and finest skills to such missions as decreasing system size, startup/shutdown time, and power consumption; improving compatibility to various CPU architectures, and developing middleware

http://celinuxforum.org/

CE Linux Forum 3855 SW 153rd Drive Beaverton, Oregon 97006 USA Telephone: +1.503.619.0855Facsimile: +1.503.644.6708E-mail: office@celinuxfo rum.org

Welcome to the 1st edition of the Embedded Systems Exhibition and find out some of the most innovative companies of the Grenoble area! 30 exhibitors will show you their outstanding know-how and technological roadmap. We expect more than 700 visitors on the exhibition.

If you wish to ehibit on ESE, go towww.minalogic.com

Special fee for early booking(20/09/2009)

This event is organized by Minalogic, global competitive cluster in micro nanotech-nologies and embedded software. Located in Grenoble, France, the cluster channels in a single physical location a range of highly-specialized skills and resources from knowledge creation to the development and production of intelligent miniaturized services for industry.

It is also possible to arrive to Grenoble by train with SNCF, which has train ser-vices from all the major cities in France and in Europe. The conference center and Novotel hotel are just at two minutes walking distance from Grenoble’s railway station.

HOTEL INFORMATIONThe conference hotel is Novotel. We have compiled a pre-selection of hotels with special prices for ESWEEK attendees.

Hotel Address Phone+33.(0)

Fax+33.(0)

E S W e e k rate

S i n g l e room

Website

*** Grand Hôtel MERCURE Président

11, rue Général Mangin 38100 Grenoble

04 76562656 04 76562682 149 € www.mercure.com hotel web code:

2947

*** NOVOTEL Grenoble CENTRELocated in the Convention Center

7, place Robert Schuman 38000 Grenoble

04 76708484 04 76708420 143 € www.novotel.comhotel web code:

1624

*** Hôtel MERCURE Alpotel

12, Bd Maréchal Joffre 38000 Grenoble

04 76878841 04 76475852 128 € www.mercure.comhotel web code:

0652

Other Hotels in Grenoble and its neighbourhood can be reserved with the Tour-ist office of Grenoble. You will find a wide selection of hotels and the promo-tions for successful stays:

www.grenoble-resatourisme.com Tel: +33(0)4.56.52.38.38

Of course, you can book directly your hotel via any web broker.

More information also available on http://www.esweek.org

GENERAL INFORMATION

3ESWEEK 2009

4 ESWEEK 2009

OVERVIEW SOCIAL EVENTS

ESWEEK 2009 iv

Grenoble Welcome Receptionto ESWeek, ELC-E & ESE

at WTCWednesday, Oct. 14th 2009 – 19:45

World Trade Center Grenoble

Place Robert-Schuman38025 Grenoble

Tel. : +33 (0)4 76 28 28 40

SOCIAL EVENTS

Gala Banquet at Chavant Restaurant

Tuesday, Oct.13th 2009 – 20:00

5 Emile Chavant, 38320 Bresson

Tel: +33 (0)4 76 25 25 38

iii ESWEEK 2009

KEYNOTES

5ESWEEK 2009

Keynote: Monday October 12, 2009

Automotive: Driving Embedded Systems On WheelsOver the last few decades the amount of electronics in cars has grown rapidly, and with it the amount of embedded software. This is however just the beginning, we are entering a new era driven by trends towards green and efficient driving, safety , electrical vehicles and connected cars through “intelligent traffic systems” . Not only will this drive even more electronic systems in cars, it will also create a plethora of connected embedded systems on many levels in cars, between cars and their environment, and between cars. This will offer great opportunities to create the green connected car of the future, and it will also create many challenges in the areas of safety and security, energy efficiency and managing complexity.Cars will have many networked nodes and “Drive by -X “trends will require systems that are deterministic in behavior. Real time requirements and the need for resilient systems will also influence future car architectures. The car as part of a continuous driving net-work will influence car architectures as well as human interaction with the car and open up possibilities of many new services.In this talk we will explore these trends and some consequences for embedded system design

Ir. Carol de Vries, Vice president R&D Business Unit Automotive NXP SemiconductorsCarol de Vries is currently responsible for all R&D activities in the Automotive Business Unit of NXP Semiconductors, active in car infotainment, car networking, car access, telematics and intelligent traffic systems. Prior to joining NXP, Carol worked for Philips Electronics in different functions. Carol started his career in Philips Research on semiconductors, Later he became responsible for the CCD imaging activities, and served in a number of other man-agement positions in the fields of passive integration, power modules, hard disk recording, consumer networking and LCD TV. Returning to Semiconductors Carol first focused on SoC process and IP development from 90nm to 45nm nodes before assuming his current position.

KEYNOTES

Keynote: Tuesday October 13, 2009

The Time-Triggered ArchitectureThe time-triggered architecture (TTA) establishes a framework for the construction of distributed embedded computing system. The following three challenges have driven the development of this architecture: complexity management, robustness and energy efficiency. The TTA lifts the design process to a higher level of abstraction by introduc-ing nearly autonomous hardware/software components as the basic building blocks. The components communicate exclusively by the exchange of messages. The TTA provides a global time-base to all components and uses this time to ensure the temporal validity of the real-time data and the timely response of the computer system. The TTA provides fault-containment and error containment as an architectural service, such that fault-tolerant systems can be built without undue effort. After short discussion of generic embedded system requirements, this talk will focus on the architectural principles and the services of the time-triggered architecture.

Prof. Dr. Hermann KopetzVienna University of TechnologyHermann Kopetz received his PhD in physics “sub auspiciis praesidentis” from the University of Vienna, Austria in 1968. After eight years industry he accepted in 1979 an appointment as a Professor for Computer Process Control at the Technical University of West-Berlin. Since 1982 he is Professor for Software Engineering and Real-Time Systems at the Vienna University of Technology. Dr. Kopetz is a “Fellow of the IEEE” and was the Chairman of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance from 1996 to 1998. In 1998 he was elected to become a full member of the Austrian Academy of Science and in 2007 he received the degree of Dr. h.c. from the University Paul Sabatier in Toulouse. Dr Kopetz has published a widely used textbook on Real-Time Systems and more than 150 papers on the topic of dependable embedded systems. He is the inventor of the time-triggered technology, which recently has been selected by NASA for deploy-ment in the ORION program. He holds more than twenty patents. Dr. Kopetz received the IEEE Computer Society 2003 Technical Achievement Award with the citation: For out-standing contributions to the field of safety-critical real-time computing. Since 2007 Dr. Kopetz is a member of the prestigious Information Society Technology Advisory Group (ISTAG) of the EU Commission in Brussels, advising the Commission on the future trends in the ICT area.

6 ESWEEK 2009

SOCIAL EVENTS

ESWEEK 2009 ii

Committee Dinnerat Chez Pignol

Monday, Oct.12th 2009 – 19:30

Pignol Sainte CécileRue Dominique Villars

38000 GrenobleTel : +33 (0)4 76 24 85 85

SOCIAL EVENTS

i ESWEEK 2009

Welcome Receptionat WTC

Sunday, Oct.11th 2009 – 19:00

World Trade Center Grenoble

Place Robert-Schuman38025 Grenoble

Tel. : +33 (0)4 76 28 28 40

7ESWEEK 2009

KEYNOTES

Keynote: Wednesday October 14, 2009

The end of embedded software? The term “embedded software” suggests software that is isolated and contained inside hardware components. Increasingly, realizing the maximum value in systems depends on taking the opposite view, where software is an open, extensible, connected virtual en-vironment connected to the physical world by hardware. In this talk we will discuss how companies that take this view are changing industries and look at the methods and tools they use to develop software.

Dr. Martin Nally, Chief Technical Officer, IBM Rational SoftwareMartin Nally is an IBM Fellow and currently the Chief Technology Officer for the Rational Software division of IBM. Martin joined IBM in 1990 with 10 years’ prior industry experi-ence. He has held several architecture and development positions in IBM including lead architect and developer for IBM VisualAge/Smalltalk and VisualAge/Java. Martin was one of a team of three that launched the IBM project that later became the Eclipse framework and he led the architecture, design and development of WebSphere Studio, IBM’s flagship Eclipse-based developer tool-suite that later evolved into Rational Application Developer.

SUNDAY

8 ESWEEK 2009

OCT. 11

CA

SES

CO

DES +

ISSS

Oct

ob

er

14

, Wed

nesd

ay 1

4:0

0 - 1

6:0

0

Sess

ion 9

: Fl

ash M

emory

Sess

ion c

hai

r: T

ei-W

ei K

uo

9.1

NA

ND

FS: A

Fle

xib

le

Flas

h F

ile

Syst

em f

or

RA

M-

Const

rain

ed S

yste

ms.

Avi

ad Z

uck

, O

had

Bar

zilay

an

d S

ivan

Tole

do

9.2

Dis

k S

ched

ule

rs f

or

Solid

Stat

e D

rive

s.Ja

eho K

im, Yongse

ok O

h,

Eunsa

m K

im, Jo

ngm

oo C

hoi,

Donghee

Lee

and S

am H

. N

oh

9.3

Addin

g A

ggre

ssiv

e Er

ror

Corr

ecti

on t

o a

Hig

h-P

erfo

r-m

ance

Fla

sh F

ile

Syst

em.

Yan

gw

ook K

ang a

nd E

than

M

ille

r

9.4

A c

ost

-aw

are

pag

e re

pla

cem

ent

algori

thm

for

NA

ND

fla

sh b

ased

mobile

embed

ded

sys

tem

s.Ju

nse

ok P

ark, H

yeje

ong L

ee,

Seunghw

an H

yun, H

yokyu

ng

Bah

n a

nd K

ern K

oh

Sess

ion 2

: K

ey Indust

rial

C

om

puti

ng P

latf

orm

s to

En-

able

Em

bed

ded

Sys

tem

sSe

ssio

n c

hai

r: L

uca

Ben

ini

2.1

NEC

’s M

anyc

ore

Pla

t-fo

rms

for

Low

-Pow

er E

mbed

-ded

Sys

tem

.N

aoki N

ishi-sa

n

2.2

AR

M M

PCore

Tec

hnol-

ogy

for

Scal

able

, Lo

w-P

ow

er

Embed

ded

Com

puti

ng.

John G

oodac

re

2.3

The

X-G

OLD

SD

R2

x P

lat-

form

for

Mult

i-St

andar

d B

ase-

ban

d C

om

puti

ng.

Ulr

ich R

amac

her

2.4

Pla

tform

20

12

: a

Low

-Po

wer

Mult

i-C

ore

3D

Arc

hi-

tect

ure

for

Hig

h-P

erfo

rman

ce

Mult

imed

ia A

pplica

tions.

Fabie

n C

lerm

idy

PA

NEL @

16

:30

Com

piler

s fo

r Em

bed

ded

Sys

tem

s, a

Maj

or

Indust

rial

Chal

lenge

Org

aniz

er: Ben

oit

Dupont,

Jose

ph S

ifak

isM

oder

ator:

Mar

co C

orn

ero

Spea

ker

s: A

lber

t C

ohen

, A

yal Zak

s, B

enoit

Mei

ster

, H

arih

aran

San

dan

agobal

ane,

Fra

nco

is B

odin

, R

onan

Ker

yell,

Guan

g R

. G

ao

SESSION LEGEND

ESWEEK 2009 H

IND

UST

RIA

L D

AY

EM

SO

FT

Sess

ion 8

A:

Perf

om

ance

A

nal

ysis

and O

pti

miz

atio

n f

or

Het

erogen

eous

Mult

ipro

cess

es

Syst

emSe

ssio

n c

hai

r: Jurg

en T

eich

Se

ssio

n c

o-c

hai

r: S

oonhai

Ha

8.1

Model

-bas

ed T

est

Cas

e C

lass

ific

atio

n f

or

Perf

orm

ance

A

nal

ysis

of

Mult

imed

ia M

pSo

Cs.

Dee

pak

Gan

gad

har

an,

Roger

Zim

mer

man

and S

amar

jit

Chak

rabort

y

8.2

Bott

om

-Up P

erfo

rman

ce

Anal

ysis

Consi

der

ing T

ime

Slic

e Bas

ed S

oft

war

e Sc

hed

uling a

t Sy

stem

Lev

el.

Ale

xan

der

Vie

hl, M

ichae

l Pr

essl

er a

nd O

live

r Bri

ngm

ann

8.3

A R

ecurs

ive

Appro

ach

to E

nd-T

o-E

nd P

ath L

aten

cy

Com

puta

tion in H

eter

ogen

eous

Mult

ipro

cess

or

Syst

ems.

Sim

on S

chliec

ker

and R

olf

Ern

st

8.4

Map

pin

g p

ipel

ined

ap-

plica

tions

onto

het

erogen

eous

embed

ded

sys

tem

s: a

Bay

esia

n

Opti

miz

atio

n A

lgori

thm

bas

ed

appro

ach.

Anto

nin

o T

um

eo,

Mar

co B

ranca

, Lo

renzo C

amer

ini, C

hri

stia

n P

i-la

to, Fa

bri

zio

Fer

randi, P

ier

Luca

La

nzi an

d D

onat

ella

Sci

uto

Sess

ion 8

B:

Arc

hit

ectu

re a

nd

Opti

miz

atio

n o

f N

oC

Sess

ion c

hai

r: S

udee

p P

asri

cha

Sess

ion c

o-c

hai

r: K

ees

Goos-

sens

8.1

Apply

ing N

etw

ork

Cal

culu

s fo

r Pe

rform

ance

Anal

ysis

of

Self

-Sim

ilar

Tra

ffic

in O

n-C

hip

N

etw

ork

s.Yue

Qia

n,

Zhonghai

Lu a

nd

Wen

hua

Dou

8.2

Sta

tist

ical

Phys

ics

Ap-

pro

aches

for

Net

work

-on-C

hip

T

raff

ic C

har

acte

rizat

ion.

Paul Bogdan

and R

adu M

ar-

cule

scu

8.3

Auto

mat

ed T

echniq

ue

for

Des

ign o

f N

oC

wit

h M

inim

al

Com

munic

atio

n L

aten

cy.

Gle

nn L

eary

and K

aram

Chat

ta

8.4

Syn

thes

is o

f T

opolo

gy

Confi

gura

tions

and D

eadlo

ck

Free

Routi

ng A

lgori

thm

s fo

r N

oC

-bas

ed S

yste

ms-

on-C

hip

.M

atth

ias

Bo S

tuar

t, M

ikkel

Bys

trup S

tensg

aard

and Jen

s Sp

arso

Sess

ion 8

: Rel

iabilit

y an

d

Rec

onfi

gura

bilit

ySe

ssio

n c

hai

r: R

ober

t D

ick

Sess

ion c

o-c

hai

r: L

i Sh

ang

7.1

A C

ase

Study

Of

On-C

hip

Se

nso

r N

etw

ork

In M

ult

ipro

-ce

ssor

Syst

em-O

n-C

hip

.Yu W

ang,

Jian

g X

u,

Shen

gxi

Huan

g,

Wei

chen

Liu

And H

ua-

zhong Y

ang

7.2

Fau

lt T

ole

rant

Cac

he

Arc

hit

ectu

re F

or

Sub 5

00m

v O

per

atio

n:

Res

izab

le D

ata

Com

pose

r C

ache

(RD

C-C

ache)

.A

vest

a Sa

san,

Houm

an H

om

ay-

oun,

Ahm

ed E

ltaw

il a

nd F

adi

Kurd

ahi

7.3

Tow

ards

Scal

able

Rel

i-ab

ilit

y Fr

amew

ork

s Fo

r Er

ror

Prone

CM

PS.

Jose

ph S

loan

And R

akes

h

Kum

ar

7.4

(S)

CG

RA

Expre

ss:

Ac-

cele

rati

ng E

xec

uti

on U

sing

Dyn

amic

Oper

atio

n F

usi

on.

Yongju

n P

ark,

Hyu

nch

ul Pa

rk

And S

cott

Mah

lke

7.5

(S)

Ener

gy-

Aw

are

Probab

i-list

ic M

ult

iplier

: A

nal

ysis

And

Des

ign.

Mar

k L

au,

Kec

k-V

oon L

ing A

nd

Yun C

hung C

hu

CA

SES

CO

DES +

ISSS

Octo

ber 1

4, W

ed

nesd

ay 1

0:3

0 - 1

2:3

0

Session 7

A: Em

ergin

g T

ech-

niq

ues

Session ch

air: Robert W

alker

Session co

-chair: W

olfg

ang

Ecker

7.1

A Scalab

le Parallel H.2

64

D

ecoder o

n th

e IBM

Cell

Bro

adban

d En

gin

e Arch

itec-tu

re.M

ichael A

. Bak

er, Pravin

Dalale, K

aram S. C

hath

a and

Sarma B

. K. V

rudhula

7.2

FlexR

ay Sched

ule O

ptim

i-zatio

n o

f the Static Seg

men

t.M

artin Lu

kasiew

ycz, M

ichael

Glas, Pau

l Milb

redt an

d

Jurg

en T

eich

7.3

Impro

ving A

pplicatio

n

Launch

Tim

es with

Hyb

rid

Disk

s.Yongso

o Jo

o, Y

oungjin

Cho,

Kyu

ngso

o Lee an

d N

aehyu

ck

Chan

g

Session 7

.B: Ex

plo

ring th

e H

ardw

are Softw

are Boundar-

ies for M

PSoC

Desig

nSessio

n ch

air: Sungyo

o Y

oo

Session co

-chair: Falrien

C

lermid

y

7.1

A T

uneab

le Softw

are C

ache C

oheren

ce Proto

col

for H

eterogen

eous M

PSoC

s.Fran

k O

pheld

ers, Marco

Bek

-ooij an

d H

enk C

orp

oraal

7.2

Build

ing H

eterogen

eous

Reco

nfig

urab

le Systems W

ith

A H

ardw

are Micro

kern

el.Jaso

n A

gro

n an

d D

avid

Andrew

s

7.3

Native M

PSoC

Co-

Simulatio

n En

vironm

ent

for So

ftware Perfo

rman

ce Estim

ation.

Patrice Gerin

, Mian

Muham

-m

ad H

amayu

n an

d Fred

eric Petro

t

Session 8

: Tim

e Predictab

ility an

d M

emory M

anag

emen

tSessio

n ch

air: Rein

hard

W

ilhelm

8.1

Cach

e-Aw

are Sched

ulin

g

and A

nalysis fo

r Multico

res.N

an G

uan

, Martin

Stigge,

Wan

g Y

i and G

e Yu

8.2

Probab

ilistic Modelin

g o

f D

ata Cach

e Beh

avior.

Vin

ayak Pu

ranik

, Tulik

a Mitra

and Y

. N. Srik

ant

8.3

Implem

entin

g T

ime-

pred

ictable Lo

ad an

d Sto

re O

peratio

ns.

Jack W

hith

am an

d N

eil A

udsley

8.4

Dataflo

w m

odels fo

r sh

ared m

emory access

latency an

alysis.Jan

Staschulat an

d M

arco

Bek

ooij

Session 1

: Key Em

bed

ded

System

End U

sersSessio

n ch

air: Jan M

adsen

1.1

Mobile C

om

putin

g Plat-

form

, a Dream

?Fran

k G

hen

assia

1.2

Multim

edia o

n M

ulti-Pro

-cesso

rs = M

ulti C

hallen

ges?

Pierre Paulin

1.3

New

challen

ges in

engi-

neerin

g an

d co

mputin

g fo

r em

bed

ded

critical systems.

Eric Lenorm

and

1.4

Eating yo

ur o

wn d

og

food - i.e. w

hat h

appen

s w

hen

you start u

sing yo

ur

ow

n to

ols an

d p

rocesso

rs in

earnest to

build

systems.

Chris R

ow

en

EM

SO

FT

IND

UST

RIA

L D

AY

G ESWEEK 2009

SESSION LEGEND

PO

ST

ER

SESSIO

N @

12

:00

Session 7

: Special Sessio

n II

Session ch

air: Marg

aret Mar-

tonosi

Session co

-chair: K

rishna

Palem

7.1

An accelerato

r-based

wire-

less senso

r netw

ork

pro

cessor

in 1

30

nm

CM

OS.

Mark

Hem

pstead

, David

Bro

oks an

d G

u-Y

eon W

ei

7.2

Smartp

hone-B

ased A

ssis-tive T

echnolo

gies fo

r the B

lind.

Priya Narasim

han

, Rajeev G

an-

dhi an

d D

an R

ossi

7.3

OPA

IMS: O

pen

Arch

itecture

Precision A

gricu

lture In

form

a-tio

n M

onito

ring System

.Yongcai W

ang an

d Y

uex

uan

W

ang

9ESWEEK 2009

MONDAY OCT. 12

TUESDAY

10 ESWEEK 2009

OCT. 13

Sess

ion 6

: M

icro

fluid

ics,

Wors

t-C

ase

Exec

uti

on T

ime,

and C

ache

Opti

miz

a-ti

on

Sess

ion c

hai

r: T

ulika

Mit

raSe

ssio

n c

o-c

hai

r: T

ony

Giv

argis

6.1

Chec

ker

Core

: En

han

cing A

n F

PGA

So

ft C

ore

To C

aptu

re W

ors

t-C

ase

Exec

uti

on T

imes

.Jin O

uya

ng,

Rag

huve

er R

aghav

endra

, Si

bin

Mohan

, T

ao Z

han

g,

Yuan

Xie

an

d F

rank M

uel

ler

6.2

Inst

ruct

ion C

ache

Lock

ing Insi

de

A B

inar

y R

ewri

ter.

Kap

il A

nan

d a

nd R

ajee

v Bar

ua

6.3

Tab

u S

earc

h-B

ased

Syn

thes

is O

f D

ynam

ical

ly R

econfi

gura

ble

Dig

ital

M

icro

fluid

ic B

ioch

ips.

Elen

a M

afte

i, P

aul Po

p a

nd Jan

M

adse

n

6.4

Tig

ht

WR

CT

Anal

ysis

Of

Synch

ro-

nous

C P

rogra

ms.

Part

ha

S R

oop,

Sidhar

ta A

ndal

am,

Rei

nhar

d V

on H

anxle

den

, Si

mon Y

uan

an

d C

laus

Tra

uls

en

Sess

ion 6

A:

Syst

em L

evel

Rec

onfi

gu-

rati

on a

nd A

rchit

ectu

re O

pti

miz

atio

nSe

ssio

n c

hai

r: C

hri

stia

n H

aubel

t Se

ssio

n c

o-c

hai

r: O

live

r Bri

ngw

aun

6.1

Min

imiz

atio

n o

f th

e re

confi

gura

-ti

on lat

ency

for

the

map

pin

g o

f ap

-plica

tions

on F

PGA

-bas

ed s

yste

ms.

Vin

cenzo R

ana,

Sri

niv

asan

Mura

li, D

a-vi

d A

tien

za,

Mar

co D

. Sa

nta

mbro

gio

, Lu

ca B

enin

i an

d D

onat

ella

Sci

uto

6.2

Min

Deg

: A

Per

form

ance

-guid

ed

Rep

lace

men

t Po

licy

for

Run-t

ime

Rec

onfi

gura

ble

Acc

eler

ators

.La

rs B

auer

, M

uham

mad

Shaf

ique

and

Jorg

Hen

kel

6.3

Support

ing R

TL

Flow

Com

pat

ibili-

ty in a

Mic

roar

chit

ectu

re-L

evel

Des

ign

Fram

ework

.D

anie

l Sc

hw

artz

-Nar

bonne,

Car

ven

Chan

, Yoges

h M

ahaj

an a

nd S

har

ad

Mal

ik

Sess

ion 6

: M

ult

icore

, Pa

rallel

Im

ple

-m

enta

tions

Sess

ion c

hai

r: B

engt

Jonss

on

6.1

Explo

ring P

aral

lelizat

ion S

trat

e-gie

s fo

r N

UFF

T D

ata

Tra

nsl

atio

n.

Yuan

rui Zhan

g, M

ahm

ut

Kan

dem

ir,

Nik

os

Pits

ianis

and X

iaobai

sun

6.2

An E

ffec

tive

Syn

chro

niz

atio

n A

p-

pro

ach f

or

Fast

and A

ccura

te M

ult

i-co

re Inst

ruct

ion-s

et S

imula

tion.

Men

g-H

uan

Wu, C

hen

g-Y

ang F

u,

Peng-C

hih

Wan

g a

nd R

en-S

ong T

say

6.3

Fle

xib

le F

ilte

rs: Lo

ad B

alan

cing

thro

ugh B

ackpre

ssure

for

Stre

am

Progra

ms.

Reb

ecca

Collin

s an

d L

uca

Car

loni

Sess

ion 7

: Im

ple

men

tati

on Iss

ues

Sess

ion c

hai

r: F

lore

nce

Mar

anin

chi

7.1

Modula

r St

atic

Sch

eduling o

f Sy

nch

ronous

Dat

a-fl

ow

Net

work

s: A

n

effi

cien

t sy

mbolic

repre

senta

tion.

Mar

c Po

uzet

and P

asca

l Ray

mond

7.2

Syn

cChar

ts in C

.Rei

nhar

d v

on H

anxle

den

7.3

Han

dling M

ixed

-Cri

tica

lity

in S

oC

-bas

ed R

eal-Tim

e Em

bed

ded

Sys

tem

s.Rodolf

o P

ellizzoni, P

atri

ck M

ered

ith,

Min

Young N

am,

Mu S

un,

Mar

co C

ac-

cam

o a

nd L

ui Sh

a

SESSION LEGEND

ESWEEK 2009 F

CA

SES

CO

DES +

ISSS

Oct

ob

er

13

, Tu

esd

ay 1

6:3

0 - 1

8:3

0

EM

SO

FT

Session 5

: Pervasive ParallelismSessio

n ch

air: Jiang X

uSessio

n co

-chair: Y

uan

Xie

5.1

A B

uffer R

eplacem

ent A

lgorith

m

Explo

iting M

ulti-C

hip

Parallelism in

So

lid State D

isks.

Jinho Seo

l, Hyo

taek Sh

im, Jaeg

euk

Kim

and Seu

ngryo

ul M

aeng

5.2

Exposin

g N

on-Stan

dard

Arch

itec-tu

res to Em

bed

ded

Softw

are Usin

g

Com

pile-T

ime V

irtualisatio

n.

Ian G

ray and N

eil Audsley

5.3

Occam

: A Platfo

rm Fo

r Develo

p-

ing A

dap

table M

ultico

re Applicatio

ns.

Dan

Fay, Li Shan

g an

d D

irk G

runw

ald

5.4

Parallel, Hard

ware-Su

pported

In

terrupt H

andlin

g in

the C

iAO

O

peratin

g System

on th

e Trico

re M

icroco

ntro

ller.Fab

ian Sch

eler, Wan

ja Hofer, B

enja-

min

Oech

slein, R

udi Pfister, D

aniel

Lohm

ann an

d W

olfg

ang Sch

röder-

Preiksch

at

Session 5

A: Em

bed

ded

System O

pti-

miz

ation A

cross M

emory H

ierarchy

Session ch

air: Jason X

ue

Session co

-chair: C

athy G

ebotys

5.1

Squash

ing M

icroco

de Sto

res to

Size in

Embed

ded

Systems w

hile D

e-liverin

g R

apid

Micro

code A

ccesses.C

hen

gm

o Y

ang, M

ingjin

g C

hen

and

Alex

Orailo

glu

5.2

Stack O

riented

Data C

ache Filter-

ing.

Rodrig

o G

onzalez

-Alb

erquilla,

Fernan

do C

astro, Lu

is Pinuel an

d

Francisco

Tirad

o

5.3

ILP Optim

al Sched

ulin

g fo

r Multi-

Module M

emory.

Meik

ang Q

iu, Lei Z

han

g an

d Ed

win

Sh

a

Session 5

B: Efficien

t Tech

niq

ues fo

r A

rchitectu

re Simulatio

nSessio

n ch

air: Rolf Ern

stSessio

n co

-chair: D

onatella Sciu

to

5.1

Cycle C

ount A

ccurate M

emory

Modelin

g in

System Level D

esign.

Yi-Len

Lo, M

ao-Lin

Li and R

en-So

ng

Tsay

5.2

SuSeSim

: A Fast Sim

ulatio

n Strat-

egy to

Find O

ptim

al L1 C

ache C

on-

figuratio

n fo

r Embed

ded

Systems.

Moham

mad

Shih

abul H

aque, A

ndhi

Janap

satya and Sri Param

eswaran

5.3

TotalPro

f: A Fast an

d A

ccurate

Retarg

etable So

urce C

ode Pro

filer.Lei G

ao, Jia H

uan

g, Jian

jiang C

eng,

Rain

er Leupers, G

erd A

scheid

and

Hein

rich M

eyr

5.4

Usin

g C

ontin

uous Statistical M

a-ch

ine Learn

ing to

Enab

le Hig

h-Sp

eed

Perform

ance Pred

iction in

Hyb

rid

Instru

ction-/C

ycle-Accu

rate Instru

c-tio

n Set Sim

ulato

rs.D

aniel Po

well an

d B

jorn

Franke

Session 5

: Sched

ulin

gSessio

n ch

air: Luca C

arloni

5.1

Clo

ck-d

riven d

istributed

real-time

implem

entatio

n o

f endoch

ronous

synch

ronous p

rogram

s.D

um

itru Po

top-B

utu

caru, R

obert d

e Sim

one, Y

ves Sorel an

d Jean

-Pierre T

alpin

5.2

A fam

ily of co

mpatib

le synch

roni-

zatio

n p

roto

cols b

ased o

n SIR

AP.

Moris B

ehnam

, Thom

as Nolte an

d

Rein

der B

ril

5.3

Tow

ards a T

ime-T

riggered

Sch

edule C

alculatio

n T

ool to

Support

Model-B

ased Em

bed

ded

Softw

are D

esign.

Josep

h Po

rter, Gab

or K

arsai and Jan

os

Sztip

anovits

5.4

Monoto

nicity an

d R

un-T

ime

Sched

ulin

g.

Maarten

Wig

gers, M

arco B

ekooij an

d

Gerard

Smit E

MSO

FT

CO

DES +

ISSS

Octo

ber 1

3, T

uesd

ay 1

4:0

0 - 1

6:0

0

E ESWEEK 2009

SESSION LEGEND

CA

SES

11ESWEEK 2009

WEDNESDAY OCT. 14

THURSDAY

12 ESWEEK 2009

OCT. 15

Sess

ion 4

: A

rchit

ectu

ral O

pti

miz

a-ti

ons

Sess

ion c

hai

r: O

live

r Bri

ngm

ann

Sess

ion c

o-c

hai

r: K

aram

Chat

ha

4.1

Fin

e-G

rain

Per

form

ance

Sca

ling o

f So

ft V

ecto

r Pr

oce

ssors

.Pe

ter

Yia

nnac

oura

s, J. G

regory

Ste

ffan

an

d Jonat

han

Rose

4.2

Fin

e-G

rain

ed P

aral

lel A

pplica

tion

Spec

ific

Com

puti

ng f

or

RN

A S

econd-

ary

Stru

cture

Pre

dic

tion u

sing S

CFG

s on F

PGA

.Fe

i Xia

and Y

ong D

ou

4.3

Red

uci

ng Im

pac

t O

f C

ache

Mis

s St

alls

in E

mbed

ded

Sys

tem

s by

Extr

acti

ng G

uar

ante

ed Indep

enden

t In

stru

ctio

ns.

Gar

o B

ourn

outi

an a

nd A

lex O

railoglu

4.4

Str

eam

ing F

FT O

n R

EDEF

INE-

V2

: an

Applica

tion-A

rchit

ectu

re D

esig

n

Spac

e Ex

plo

rati

on.

Ale

xan

der

Fel

l, M

ythri

Alle,

Kes

hav

an

Vad

araj

an,

Pras

enjit

Bis

was

, Sa

pta

rsi

Das

, Ju

gan

tor

Chet

ia,

S.K

. N

andy

and

Ran

jani N

aray

an

Sess

ion 4

A:

Pow

er-A

war

e D

esig

n

Met

hodolo

gy

Sess

ion c

hai

r: A

nn G

ord

on-R

oss

Se

ssio

n c

o-c

hai

r: N

aehyn

ck C

han

g

4.1

A S

tandby-

Spar

ing T

echniq

ue

wit

h L

ow

Ener

gy-

Ove

rhea

d f

or

Fault

-T

ole

rant

Har

d R

eal-T

ime

Syst

ems.

Alire

za

Ejla

li,

Bas

hir

Al-H

ashim

i an

d

Petr

u E

les

4.2

Eff

icie

nt

Dyn

amic

Volt

age/

Fre-

quen

cy S

caling t

hro

ugh A

lgori

thm

ic

Loop T

ransf

orm

atio

n.

Moham

mad

Ali G

hodra

t an

d T

ony

Giv

argis

4.3

Ener

gy-

Effi

cien

cy f

or

Mult

ifra

me

Rea

l-T

ime

Tas

ks

on a

Dyn

amic

Volt

-ag

e Sc

alin

g P

roce

ssor.

Chuan

-Yue

Yan

g,

Jian

-Jia

Chen

and

Tei

-Wei

Kuo

Sess

ion 4

B:

Synth

esis

and A

nal

ysis

fo

r V

aria

tion a

nd R

elia

bilit

ySe

ssio

n c

hai

r: R

ober

t D

ick

Sess

ion c

o-c

hai

r: S

udee

p P

asri

cha

4.1

A V

aria

tion-T

ole

rant

Sched

ule

r fo

r Bet

ter

Than

Wors

t-C

ase

Beh

avio

ral

Synth

esis

.Ja

son C

ong,

Alb

ert

Liu a

nd B

in L

iu

4.2

Explo

itin

g D

ata-

Red

undan

cy in

Rel

iabilit

y-A

war

e N

etw

ork

ed E

mbed

-ded

Sys

tem

Des

ign.

Mar

tin L

ukas

iew

ycz,

Mic

hae

l G

las

and

Jurg

en T

eich

4.3

ESL

Pow

er A

nal

ysis

of

Embed

ded

Pr

oce

ssors

for

Tem

per

ature

and R

eli-

abilit

y Es

tim

atio

ns.

Bjo

rn S

ander

, Ju

rgen

Sch

ner

r an

d

Olive

r Bri

ngm

ann

Sess

ion 4

: T

imin

g a

nd p

erfo

rman

ce

anal

ysis

Sess

ion c

hai

r: S

. R

ames

h

4.1

Anal

ytic

Rea

l-T

ime

Anal

ysis

and

Tim

ed A

uto

mat

a: A

Hyb

rid M

ethod

for

Anal

yzin

g E

mbed

ded

Rea

l-Tim

e Sy

stem

s.K

ai L

ampka,

Sim

on P

erat

honer

and

Loth

ar T

hie

le

4.2

Ser

ving e

mbed

ded

conte

nt

via

Web

applica

tions:

model

, des

ign a

nd

exper

imen

tati

on.

Sim

on D

uquen

noy,

Gille

s G

rim

aud

and Jea

n-J

acques

Van

dew

alle

4.3

Modula

r Pe

rform

ance

Anal

ysis

of

Cyc

lic

Dat

aflo

w G

raphs.

Loth

ar T

hie

le a

nd N

ikola

y St

oim

enov

4.4

Sym

bolic

Stat

e T

rave

rsal

for

WC

ET A

nal

ysis

.St

ephan

Wilhel

m a

nd B

joer

n W

achte

r

ESWEEK 2009 D

CA

SES

CO

DES +

ISSS

Oct

ob

er

13

, Tu

esd

ay 1

0:3

0 - 1

2:3

0

EM

SO

FT

PO

ST

ER

SESSIO

N @

12

:00

SESSION LEGEND

Session 3

: Parallelism, Stream

s, and

Spillin

gSessio

n ch

air: Aviral Sh

rivastavaSessio

n co

-chair: A

lain D

arte

3.1

Map

pin

g Stream

Program

s onto

H

eterogen

eous M

ultip

rocesso

r System

s.Pau

l Carp

enter, A

lex R

amirez

and

Eduard

Ayg

uad

e

3.2

Optim

al Loop Paralleliz

ation fo

r M

axim

izin

g Iteratio

n-Level Parallel-

ism.

Duo Liu

, Linfen

g Pan

, Men

g W

ang,

Zili Sh

ao an

d Jin

glin

g X

ue

3.3

Progressive Sp

ill Code Placem

ent.

Dietm

ar Ebner, B

ernhard

Scholz

and

Andreas K

rall

3.4

Slicing B

ased C

ode Paralleliz

ation

for M

inim

izin

g In

terpro

cessor C

om

-m

unicatio

n.

Mah

mut K

andem

ir, Yuan

rui Z

han

g,

Sai Prashan

t Muralid

hara, O

zcan

Oz-

turk

and Sri H

ari Krish

na N

arayanan

Session 3

A: A

pplicatio

n Sp

ecific Alg

o-

rithm

s and A

rchitectu

resSessio

n ch

air: Kees van

Berh

el Sessio

n co

-chair: T

odor Stefan

ou

3.1

LOP: A

Novel SR

AM

-based

Ar-

chitectu

re for LO

w Po

wer an

d H

igh

Thro

ughput Pack

et Classificatio

n.

Xin

He, Jo

rgen

Peddersen

and Sri

Paramesw

aran

3.2

Mem

ory-Efficien

t Distrib

utio

n o

f R

egular Ex

pressio

ns fo

r Fast Deep

Pack

et Insp

ection.

Jonath

an R

ohrer, K

ubilay A

tasu,

Jan V

an Lu

nteren

and C

hristo

ph

Hag

leitner

3.3

On-th

e-fly Hard

ware A

cceleration

for Pro

toco

l Stack Pro

cessing in

Nex

t G

eneratio

n M

obile D

evices.D

avid Sz

czesn

y, Sebastian

Hessel,

Felix B

runs an

d A

ttila Bilg

ic

Session 3

B: Em

bed

ded

Softw

are System

sSessio

n ch

air: Lovic G

auth

ierSessio

n co

-chair: H

iroyu

ki T

om

iyama

3.1

FRA

: A Flash

-aware R

edundan

cy A

rray of Flash

Stroag

e Devices.

Yan

gsu

p Lee, San

ghyu

k Ju

ng an

d

Yong H

o So

ng

3.2

Auto

matic C

usto

miz

ation o

f D

evice Drivers fo

r IP-cores U

sed w

ith

Altern

ative CPU

Org

aniz

ations.

Andrea A

cquaviva, N

icola B

om

bieri,

Franco

Fum

mi an

d Sara V

inco

3.3

An M

DP-b

ased A

pplicatio

n O

rient-

ed O

ptim

al Policy fo

r Wireless Sen

sor

Netw

ork

s.A

rslan M

unir an

d A

nn G

ord

on-R

oss

Session 3

: Models an

d co

mponen

tsSessio

n ch

air: Christo

ph K

irsch

3.1

On R

elational In

terfaces.Stavro

s Trip

akis, B

en Lick

ly, Thom

as H

enzin

ger an

d Ed

ward

Lee

3.2

Modelin

g Syn

chro

nous System

s in

BIP.

Mariu

s Bozga, V

assiliki Sfyrla an

d

Josep

h Sifak

is

3.3

Modal In

terfaces: Unifyin

g In

ter-face A

uto

mata an

d M

odal Sp

ecifica-tio

ns.

Jean-B

aptiste R

aclet, Eric Bad

ouel, A

l-bert B

enven

iste, Ben

oît C

aillaud, A

xel

Legay an

d R

oberto

Passerone

3.4

Form

al and Ex

ecutab

le Contracts

for T

ransactio

n-Level M

odelin

g in

System

C.

Tayeb

Bouhad

iba, Flo

rence M

aran-

inch

i and G

iovan

ni Fu

nch

al

CA

SES

CO

DES +

ISSS

Octo

ber 1

2, M

on

day 1

6:3

0 - 1

8:3

0

EM

SO

FT

C ESWEEK 2009

PO

ST

ER

SESSIO

N @

18

:00

SESSION LEGEND

13ESWEEK 2009

FRIDAY OCT. 16

A ESWEEK 2009

SESSION LEGEND

Session 1

: Special Sessio

n I

Session ch

air: Vin

cent M

ooney

1.1

Sustain

ing M

oore’s Law

in Em

-bed

ded

Com

putin

g th

rough Pro

ba-

bilistic an

d A

ppro

xim

ate Desig

n:

Retro

spects an

d Pro

spects.

Krish

na V

. Palem, Lak

shm

i N.B

. C

hak

rapan

i, Zvi M

. Ked

em, A

vinash

Lin

gam

nen

i and K

irthi K

rishna M

un-

timad

ugu

1.2

Com

plete N

anow

ire Cro

ssbar

Framew

ork

Optim

ized

for th

e Multi-

Spacer Pattern

ing T

echniq

ue.

M. H

aykel B

en-Jam

aa, Gian

franco

C

erofo

lini, Y

usu

f Lebleb

ici and G

io-

vanni D

e Mich

eli

1.3

III-V/Si In

tegratio

n: Po

tential an

d

Outlo

ok fo

r Integ

rated Lo

w Po

wer

Micro

and N

anosystem

s.So

on Fatt Y

oon

Session 1

A: Fram

ework

s for Platfo

rm

Modelin

g an

d Ex

plo

ration

Session ch

air: Christian

Hau

belt

Session co

-chair: A

ndreas G

erstlauer

1.1

A C

om

positio

nal M

odellin

g

Framew

ork

for Ex

plo

ring M

PSoC

system

s.A

nders Sejer T

ranberg

-Han

sen an

d

Jan M

adsen

1.2

A H

igh-Level V

irtual Platfo

rm fo

r Early M

PSoC

Softw

are Develo

pm

ent.

Jianjian

g C

eng, W

eihua Sh

eng, Je-

ronim

o C

astrillon, A

nastasia Stu

lova,

Rain

er Leupers, G

erd A

scheid

and

Hein

rich M

eyr

1.3

Portab

le SystemC

-on-a-ch

ip.

Scott Siro

wy, B

ailey Miller an

d Fran

k

Vah

id

Session 1

B: T

ools fo

r Embed

ded

So

ftware D

esign

Session ch

air: Tony G

ivargis

Session co

-chair:

1.1

On C

om

pile-tim

e Evaluatio

n o

f Pro

cess Partitionin

g T

ransfo

rmatio

ns

for K

ahn Pro

cess Netw

ork

s.Sjo

erd M

eijer, Hristo

Nik

olo

v and

Todor Stefan

ov

1.2

SARA

: StreAm

Reg

ister Allo

cation.

Praveen R

aghavan

and Fran

cky C

at-th

oor

1.3

Dyn

amically U

tilizin

g C

om

puta-

tion A

ccelerators fo

r Exten

sible

Processo

rs in a So

ftware A

ppro

ach.

Yash

uai Lv, Li Sh

en, Z

hiyin

g W

ang

and N

ong X

iao

Session 1

: Energ

y aware d

esign

Session ch

air: Petru Eles

1.1

Aggressive D

ynam

ic Voltag

e Scal-in

g fo

r Energ

y-Aw

are Vid

eo Playb

ack

Based

on D

ecodin

g T

ime Estim

ation.

Ahro

n Y

ang an

d M

inseo

k So

ng

1.2

Mark

ov D

ecision Pro

cess (MD

P) Fram

ework

for O

ptim

izin

g So

ftware

on M

obile Ph

ones.

Tan

g Lu

ng C

heu

ng, K

ari Okam

oto

, Xin

Liu, Fran

k M

aker an

d V

enkatesh

A

kella

1.3

HV

S-DBS: H

um

an V

isual System

-aw

are Dyn

amic Lu

min

ance B

acklig

ht

Scaling fo

r Vid

eo Stream

ing A

pplica-

tions.

Andrea B

artolin

i, Martin

o R

uggiero

an

d Lu

ca Ben

ini

CA

SES

CO

DES +

ISSS

Octo

ber 1

2, M

on

day 1

0:3

0 - 1

2:3

0

EM

SO

FT

PO

ST

ER

SESSIO

N @

12

:00

PO

ST

ER

SESSIO

N @

12

:00

Sess

ion 2

: C

om

piler

Tec

hniq

ues

for

Perf

orm

ance

Sess

ion c

hai

r: L

aura

Pozzi

Sess

ion c

o-c

hai

r: L

aksh

mi C

hak

rapan

i

2.1

Explo

itin

g R

esid

ue

Num

ber

Sys

-te

m f

or

Pow

er-E

ffic

ient

Dig

ital

Sig

nal

Pr

oce

ssin

g in E

mbed

ded

Pro

cess

ors

.Rooju

Choksh

i, K

rzys

zto

f Ber

ezow

ski

and A

vira

l Sh

riva

stav

a

2.2

Fas

t En

um

erat

ion o

f M

axim

al

Val

id S

ubgra

phs

for

Cust

om

-inst

ruc-

tion Iden

tifi

cati

on.

Tao

Li, Z

hig

ang S

un,

Wu Jig

ang a

nd

Xic

hen

g L

u

2.3

Hyb

rid M

ult

ithre

adin

g f

or

VLI

W

Proce

ssors

.M

anoj G

upta

, Jo

sep L

losa

and F

erm

ín

Sánch

ez

2.4

Spat

ial C

om

ple

xit

y of

Rev

ersi

bly

C

om

puta

ble

DA

G.

Mouad

Bah

i an

d C

hri

stin

e Ei

senbei

s

Sess

ion 2

: A

nal

ysis

and v

erif

icat

ion

Sess

ion c

hai

r: R

ober

t D

e Si

mone

2.1

Com

posi

tional

Ver

ific

atio

n o

f Rea

l-Tim

e Fa

ult

-Tole

rant

Progra

ms.

Borz

oo B

onak

dar

pour

and S

andee

p

Kulk

arni

2.2

Com

posi

tional

Tim

ing A

nal

ysis

.Ram

zi Ben

Sal

ah, M

ariu

s Bozga

and

Oded

Mal

er

2.3

Ref

inin

g t

he

Contr

ol St

ruct

ure

of

Loops

usi

ng S

tati

c A

nal

ysis

.G

ogul Bal

akri

shnan

, Sr

iram

San

kar

a-nar

ayan

an, Fr

anjo

Iva

nci

c an

d A

arti

G

upta

2.4

Com

posi

tional

Dea

dlo

ck D

etec

-ti

on f

or

Ren

dez

vous

Com

munic

atio

n.

Bao

lin S

hao

, N

alin

i V

asudev

an a

nd

Step

hen

Edw

ards

CA

SES

CO

DES +

ISSS

Oct

ob

er

12

, Mo

nd

ay 1

4:0

0 - 1

6:0

0

EM

SO

FT

ESWEEK 2009 B

SESSION LEGEND

Sess

ion 2

A:

Syst

em L

evel

Model

ing

and S

imula

tion

Sess

ion c

hai

r: F

ranco

Fum

mi

Sess

ion c

o-c

hai

r: W

olf

gan

g E

cker

2.1

An E

ffic

ient

Tec

hniq

ue

for

Anal

y-si

s of

Min

imal

Buff

er R

equir

emen

ts

of

Synch

ronous

Dat

aflo

w G

raphs

wit

h

Model

Chec

kin

g.

Wei

chen

Liu

, Zonghua

Gu,

Jian

g X

u,

Yu W

ang a

nd M

ingxuan

Yuan

2.2

Usi

ng b

inar

y tr

ansl

atio

n in e

vent

dri

ven s

imula

tion f

or

fast

and f

lexib

le

MPS

oC

sim

ula

tion.

Mar

ius

Gligor,

Nic

ola

s Fo

urn

el a

nd

Fred

eric

Pet

rot

2.3

Confi

gura

tion a

nd C

ontr

ol of

Sys-

tem

C M

odel

s U

sing T

LM M

iddle

war

e.C

hri

stia

n S

chro

der

, W

olf

gan

g K

lin-

gau

f, R

ober

t G

unzel

, M

ark B

urt

on

and E

ric

Roes

ler

2.4

Sca

lable

and R

etar

get

able

Sim

ula

-ti

on T

echniq

ues

for

Mult

ipro

cess

or

Syst

ems.

Hee

kyu

ng K

im,

Soonhoi H

a an

d

Dukyo

ung Y

un

Sess

ion 2

B:

Arc

hit

ectu

re a

nd R

outi

ng

for

NoC

Se

ssio

n c

hai

r: K

aram

Chat

taSe

ssio

n c

o-c

hai

r: Z

honghai

Lu

2.1

An O

n-C

hip

Inte

rconnec

t an

d

Proto

col St

ack f

or

Mult

iple

Com

muni-

cati

on P

arad

igm

s an

d P

rogra

mm

ing

Model

s.A

ndre

as H

anss

on a

nd K

ees

Gooss

ens

2.2

A m

onit

ori

ng a

nd a

dap

tive

rout-

ing m

echan

ism

for

QoS

traf

fic

on

mes

h N

oC

arc

hit

ectu

res.

Leonel

Ted

esco

, Fa

bie

n C

lerm

idy

and

Fern

ando M

ora

es

2.3

A D

P-N

etw

ork

for

Opti

mal

Dy-

nam

ic R

outi

ng in N

etw

ork

-on-C

hip

.T

erre

nce

Mak

, Pe

ter

Cheu

ng, K

ai P

ui

Lam

and W

ayne

Luk

2.4

Explo

ring H

ybri

d P

hoto

nic

N

etw

ork

s-on-C

hip

for

Emer

gin

g C

hip

M

ult

ipro

cess

ors

.Sh

iris

h B

ahir

at a

nd S

udee

p P

asri

cha