The Community for Technology Leaders
RSS Icon
Subscribe
Formal Methods and Models for Co-Design, ACM/IEEE International Conference on (2006)
Napa, CA, USA
July 27, 2006 to July 30, 2006
ISBN: 1-4244-0421-5
TABLE OF CONTENTS
Papers
Copyright (Abstract)
pp. ii
Table of Contents (Abstract)
pp. v-viii
Keynote Talk I (Abstract)
pp. 1-2
R. Alur , Pennsylvania Univ., USA
pp. 3-4
pp. 5-6
null Fei Xie , Dept. of Comput. Sci., Portland State Univ., OR, USA
null Guowu Yang , Dept. of Comput. Sci., Portland State Univ., OR, USA
null Xiaoyu Song , Dept. of Comput. Sci., Portland State Univ., OR, USA
pp. 27-36
pp. 37-38
H.D. Patel , Bradley Dept. of Electr.&Comput. Eng., Virginia Tech., Blacksburg, VA, USA
S.K. Shukla , Bradley Dept. of Electr.&Comput. Eng., Virginia Tech., Blacksburg, VA, USA
pp. 39-48
G. Singh , FERMAT Lab, Virginia Tech, Blacksburg, VA, USA
S.K. Shukla , FERMAT Lab, Virginia Tech, Blacksburg, VA, USA
pp. 49-58
N. Dave , Comput. Sci.&Artificial Intelligence Lab, Massachusetts Inst. of Technol., Cambridge, MA, USA
M. Pellauer , Comput. Sci.&Artificial Intelligence Lab, Massachusetts Inst. of Technol., Cambridge, MA, USA
S. Gerding , Comput. Sci.&Artificial Intelligence Lab, Massachusetts Inst. of Technol., Cambridge, MA, USA
null Arvind , Comput. Sci.&Artificial Intelligence Lab, Massachusetts Inst. of Technol., Cambridge, MA, USA
pp. 59-68
pp. 69-70
S. Vasudevan , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
J.A. Abraham , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
pp. 71-80
A.A. McEwan , Dept. of Comput., Surrey Univ., Guildford, UK
S. Schneider , Dept. of Comput., Surrey Univ., Guildford, UK
pp. 81-82
Keynote Talk II (Abstract)
pp. 87-88
A. Aiken , Stanford Univ., CA, USA
pp. 89-90
W. Ecker , Infineon Technol. AG, Neubiberg, Germany
pp. 93-102
N. Bombieri , Dipt. di Informatica, Univ. di Verona, Italy
F. Fummi , Dipt. di Informatica, Univ. di Verona, Italy
G. Pravadelli , Dipt. di Informatica, Univ. di Verona, Italy
pp. 103-112
N. Razavi , Dept. of Electr.&Comput. Eng., Tehran Univ., Iran
M. Sirjani , Dept. of Electr.&Comput. Eng., Tehran Univ., Iran
pp. 113-122
R. Gupta , California Univ., San Diego, CA, USA
pp. 125-126
pp. 127-128
M. Archer , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 129-138
E. Czeck , Bluespec Inc., Waltham, MA, USA
R. Nanavati , Bluespec Inc., Waltham, MA, USA
J. Stoy , Bluespec Inc., Waltham, MA, USA
pp. 139-148
F. Gruian , Dept. of Comput. Sci., Lund Inst. of Technol., Sweden
pp. 149-158
Keynote Talk III (Abstract)
pp. 159-160
C. Seger , Strategic CAD Labs, Intel Corp., Santa Clara, CA, USA
pp. 161-162
pp. 163-164
K. Schneider , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
J. Brandt , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
E. Vecchie , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
pp. 165-174
J. Boucaron , INRIA, Sophia-Antipolis, France
R. de Simone , INRIA, Sophia-Antipolis, France
J.-V. Millo , INRIA, Sophia-Antipolis, France
pp. 175-183
B.D. Theelen , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
M.C.W. Geilen , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
T. Basten , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
J.P.M. Voeten , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
S.V. Gheorghita , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
S. Stuijk , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
pp. 185-194
A. Banerjee , Dept. of Comput. Sci.&Eng., Indian Inst. of Technol., Kharagpur, India
P. Dasgupta , Dept. of Comput. Sci.&Eng., Indian Inst. of Technol., Kharagpur, India
P.P. Chakrabarti , Dept. of Comput. Sci.&Eng., Indian Inst. of Technol., Kharagpur, India
pp. 198
null Qi Zhu , Dept. of Electr. Eng.&Comput. Sci.,, California Univ., Berkeley, CA, USA
A. Davare , Dept. of Electr. Eng.&Comput. Sci.,, California Univ., Berkeley, CA, USA
A. Sangiovanni-Vincentelli , Dept. of Electr. Eng.&Comput. Sci.,, California Univ., Berkeley, CA, USA
pp. 199
I. Ugarte , Dep. TEISA, Cantabria Univ., Spain
P. Sanchez , Dep. TEISA, Cantabria Univ., Spain
pp. 200
F. Doucet , California Univ., San Diego, CA, USA
I.H. Krueger , California Univ., San Diego, CA, USA
R. Gupta , California Univ., San Diego, CA, USA
pp. 201
O. Tardieu , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
S.A. Edwards , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 202
Author Index (Abstract)
pp. 203-204
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool