Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

1581135424

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Codesign-extended applications

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003592 ◽

2003 ◽

Author(s):

B. Grattan ◽

G. Stitt ◽

F. Vahid

Download Full-text

Large exploration for HW/SW partitioning of multirate and aperiodic real-time systems

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003606 ◽

2003 ◽

Author(s):

A. Azzedine ◽

J.-P. Diguet ◽

J.-L. Pillippe

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Symbolic model checking of dual transition Petri Nets

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003599 ◽

2003 ◽

Author(s):

M. Varea ◽

B.M. Al-Hashimi ◽

L.A. Cortes ◽

P. Eles ◽

Zebo Peng

Keyword(s):

Model Checking ◽

Petri Nets ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Algorithmic transformation techniques for efficient exploration of alternative application instances

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003593 ◽

2003 ◽

Cited By ~ 13

Author(s):

T. Stefanov ◽

B. Kienhuis ◽

E. Deprettere

Keyword(s):

Transformation Techniques ◽

Efficient Exploration ◽

Algorithmic Transformation

Download Full-text

A novel codesign approach based on distributed virtual machines

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003610 ◽

2003 ◽

Author(s):

C. Kreiner ◽

C. Steger ◽

E. Teiniker ◽

R. Weiss

Keyword(s):

Virtual Machines

Download Full-text

Fast processor core selection for WLAN modem using mappability estimation

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003602 ◽

2003 ◽

Author(s):

J.-P. Soininen ◽

J. Kreku ◽

Yang Qu ◽

M. Forsell

Keyword(s):

Processor Core ◽

Core Selection ◽

Selection For

Download Full-text

Hardware-software bipartitioning for dynamically reconfigurable systems

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003616 ◽

2003 ◽

Cited By ~ 1

Author(s):

D.N. Rakhmatov ◽

S.B.K. Vrudhula

Keyword(s):

Reconfigurable Systems ◽

Dynamically Reconfigurable

Download Full-text

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003627 ◽

2003 ◽

Author(s):

Feng-Shi Su ◽

Pao-Ann Hsiung

Keyword(s):

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

Fast system-level power profiling for battery-efficient system design

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003618 ◽

2003 ◽

Author(s):

K. Lahiri ◽

A. Raghunathan ◽

S. Dey

Keyword(s):

System Design ◽

System Level ◽

Efficient System ◽

Fast System ◽

Power Profiling

Download Full-text

Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003614 ◽

2003 ◽

Author(s):

Hyunok Oh ◽

Soonhoi Ha

Keyword(s):

Embedded Systems ◽

Real Time ◽

Time Constraints ◽

Multi Mode

Download Full-text

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Codesign-extended applications

Large exploration for HW/SW partitioning of multirate and aperiodic real-time systems

Symbolic model checking of dual transition Petri Nets

Algorithmic transformation techniques for efficient exploration of alternative application instances

A novel codesign approach based on distributed virtual machines

Fast processor core selection for WLAN modem using mappability estimation

Hardware-software bipartitioning for dynamically reconfigurable systems

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Fast system-level power profiling for battery-efficient system design

Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
Latest Publications