• M
  • MEMOCODE
  • 2006
  • Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.
Advanced Search 
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.
Napa, CA, USA
July 27-July 30
ISBN: 1-4244-0421-5
Table of Contents
Papers
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
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
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
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
E. Czeck, Bluespec Inc., Waltham, MA, USA
R. Nanavati, Bluespec Inc., Waltham, MA, USA
J. Stoy, Bluespec Inc., Waltham, MA, USA
pp. 139-148
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
Usage of this product signifies your acceptance of the Terms of Use.