The Community for Technology Leaders
RSS Icon
Subscribe
IEEE International High Level Design Validation and Test Workshop (HLDVT'02) (2002)
Cannes, France
Oct. 29, 2002 to Oct. 29, 2002
ISBN: 0-7803-7655-2
TABLE OF CONTENTS
Hldvt
D. Siguenza-Tortosa , IDCS, Tampere Univ. of Technol., Finland
pp. 1-6
A. Ademaj , Real-Time Syst. Group, Vienna Univ. of Technol., Austria
pp. 7-12
A. Braun , Tubingen Univ., Germany
J. Gerlach , Tubingen Univ., Germany
W. Rosenstiel , Tubingen Univ., Germany
pp. 23-27
B. Bentley , Intel Corp., Hillsboro, OR, USA
pp. 31-35
L. Blanc , Esterel Technol., Villeneuve-Loubet, France
A. Bouali , Esterel Technol., Villeneuve-Loubet, France
G. Berry , Esterel Technol., Villeneuve-Loubet, France
pp. 36-41
D. Parker , Sch. of Comput. Sci., Univ. of Birmingham, UK
M. Kwiatkowska , Sch. of Comput. Sci., Univ. of Birmingham, UK
S.K. Shukla , Esterel Technol., Villeneuve-Loubet, France
pp. 45-50
Sungjoo Yoo , TIMA Lab., SLS Group, Grenoble, France
M. Bacivarov , TIMA Lab., SLS Group, Grenoble, France
pp. 51-56
I. Smaili , TTTech Computertechnik AG, Vienna, Austria
A. Ademaj , TIMA Lab., SLS Group, Grenoble, France
pp. 57-62
M. Violante , Dipt. di Automatica e Informatica, Politecnico di Torino, Italy
N. Mazzoca , TIMA Lab., SLS Group, Grenoble, France
M. Sonza Reorda , Dipt. di Automatica e Informatica, Politecnico di Torino, Italy
pp. 63-68
G. Russello , Eindhoven Univ. of Technol., Netherlands
M. Chaudron , Eindhoven Univ. of Technol., Netherlands
M. Reniers , Eindhoven Univ. of Technol., Netherlands
T. Basten , Eindhoven Univ. of Technol., Netherlands
M. Mousavi , Eindhoven Univ. of Technol., Netherlands
pp. 69-74
D. Malandain , STMicroelectronics, Rousset, France
P. Palmen , IBM Res. Lab., Haifa, Israel
M. Taylor , IBM Res. Lab., Haifa, Israel
M. Aharoni , Eindhoven Univ. of Technol., Netherlands
Y. Arbetman , Eindhoven Univ. of Technol., Netherlands
pp. 93-98
P. Mishra , Architectures & Compilers for Embedded Syst. (ACES), California Univ., Irvine, CA, USA
pp. 99-103
S. Ikram , Architectures & Compilers for Embedded Syst. (ACES), California Univ., Irvine, CA, USA
G. Kamhi , IBM Res. Lab., Haifa, Israel
T. Leonard , Eindhoven Univ. of Technol., Netherlands
A. Mokkedem , Eindhoven Univ. of Technol., Netherlands
pp. 107-110
A. Rosenmann , Dept. of Logic & Validation Technol., Intel, Haifa, Israel
Z. Hanna , Dept. of Logic & Validation Technol., Intel, Haifa, Israel
pp. 111-114
J. Moondanos , Dept. of Logic & Validation Technol., Intel, Haifa, Israel
Z. Hanna , IBM Res. Lab., Haifa, Israel
pp. 115-120
P. Koumou , Dept. of Logic & Validation Technol., Intel, Haifa, Israel
B. Candaele , IBM Res. Lab., Haifa, Israel
H.N. Nguyen , Design Technol. Div., Intel, Haifa, Israel
C. Antoine , Eindhoven Univ. of Technol., Netherlands
pp. 121-124
Fang Chen , California Univ., Riverside, CA, USA
H. Hsieh , California Univ., Riverside, CA, USA
F. Balarin , Eindhoven Univ. of Technol., Netherlands
Y. Watanabe , Eindhoven Univ. of Technol., Netherlands
pp. 125-130
F. Hessel , California Univ., Riverside, CA, USA
A.M. Amory , California Univ., Riverside, CA, USA
C.A.M. Marcon , California Univ., Riverside, CA, USA
F.G. Moraes , Eindhoven Univ. of Technol., Netherlands
pp. 133-138
T. Ogawa , California Univ., Riverside, CA, USA
H. Saito , Res. Center for Adv. Sci. & Technol., Univ. of Tokyo, Japan
M. Fujita , Eindhoven Univ. of Technol., Netherlands
T. Nanya , Eindhoven Univ. of Technol., Netherlands
pp. 139-144
I. Jaeger , Res. Lab., IBM Corp., Haifa, Israel
Y. Naveh , Res. Lab., IBM Corp., Haifa, Israel
G. Bergman , Res. Lab., IBM Corp., Haifa, Israel
G. Aloni , Res. Lab., IBM Corp., Haifa, Israel
Y. Katz , Res. Lab., IBM Corp., Haifa, Israel
M. Farkash , Res. Lab., IBM Corp., Haifa, Israel
I. Dozoretz , Res. Lab., IBM Corp., Haifa, Israel
A. Goldin , Res. Lab., IBM Corp., Haifa, Israel
pp. 145-150
A. Wakefield , Synopsys Professional Services, Marlboro, MA, USA
pp. 151-155
M. Wannemacher , Philips Semicond., Zurich, Switzerland
S. Perret , Philips Semicond., Zurich, Switzerland
R. Singer , Philips Semicond., Zurich, Switzerland
pp. 156-161
M.-L. Flottes , Lab. d'Informatique de Robotique, CNRS, Montpellier, France
R. Poirier , Lab. d'Informatique de Robotique, CNRS, Montpellier, France
B. Rouzeyre , Lab. d'Informatique de Robotique, CNRS, Montpellier, France
pp. 165-168
Z. Peng , Embedded Syst. Lab., Linkoping Univ., Sweden
O. Goloubeva , Lab. d'Informatique de Robotique, CNRS, Montpellier, France
M.S. Reorda , Philips Semicond., Zurich, Switzerland
M. Violante , Res. Lab., IBM Corp., Haifa, Israel
pp. 169-174
Fei Xin , Massachusetts Univ., Amherst, MA, USA
pp. 175-180
P. Gawkowski , Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
pp. 181-186
Author Index (PDF)
pp. 187-188
9 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool