• M
  • MEMOCODE
  • 2005
  • Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.
Advanced Search 
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.
Verona, Italy
July 11-July 14
ISBN: 0-7803-9227-2
Table of Contents
Papers
N. Dave, Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
M.C. Ng, Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
null Arvind, Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
pp. 25-34
S.A. Edwards, Columbia Univ., New York, NY, USA
O. Tardieu, Columbia Univ., New York, NY, USA
pp. 37-44
S. Zhao, Center of Embedded Comput. Syst., California Univ., Irvine, CA, USA
D.D. Gajski, Center of Embedded Comput. Syst., California Univ., Irvine, CA, USA
pp. 45-53
G. Hoover, Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA
F. Brewer, Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 55-64
M. Archer, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 67
D.D. Gajski, Center for Embedded Comput. Syst., California Univ., Irvine, CA, USA
pp. 71-75
D. Kroening, Comput. Syst. Inst., Eidgenossische Tech. Hochschule, Zurich, Switzerland
pp. 101-110
F. Xie, Dept. of Comput. Sci., Portland State Univ., OR, USA
pp. 111-120
T. Sakunkonchak, VLSI Design&Educ. Center, Tokyo Univ., Japan
S. Komatsu, VLSI Design&Educ. Center, Tokyo Univ., Japan
M. Fujita, VLSI Design&Educ. Center, Tokyo Univ., Japan
pp. 121-130
M. Broy, Inst. fur Inf., Technische Univ. Munchen, Germany
pp. 143-149
W. Pree, Dept. of Comput. Sci., Univ. of Salzburg, Austria
pp. 151
T. Schuele, Dept. of Comput. Sci., Kaiserslautern Univ., Germany
K. Schneider, Dept. of Comput. Sci., Kaiserslautern Univ., Germany
pp. 177-186
S. Brait, 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. 221-230
R. Jeffords, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
R. Bharadwaj, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 243-244
E. Leonard, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
M. Archer, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 245-246
G. Naeser, Dept. of Comput. Sci.&Electron., Malardalen Univ., Sweden
J. Furunas, Dept. of Comput. Sci.&Electron., Malardalen Univ., Sweden
pp. 247-248
K. Rothbart, Graz Univ. of Technol., Austria
U. Neffe, Graz Univ. of Technol., Austria
Ch. Steger, Graz Univ. of Technol., Austria
R. Weiss, Graz Univ. of Technol., Austria
pp. 253-254
X. Xu, Graduate Sch. of IPS, Waseda Univ., Tokyo, Japan
S. Kimura, Graduate Sch. of IPS, Waseda Univ., Tokyo, Japan
pp. 259-260
Usage of this product signifies your acceptance of the Terms of Use.