Sciweavers

12753 search results - page 79 / 2551
» is 2002
Sort
View
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
15 years 10 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große
DSD
2002
IEEE
79views Hardware» more  DSD 2002»
15 years 10 months ago
Source Code Transformation to Improve Conditional Hardware Reuse
Olga Peñalba, José M. Mendías...
DSN
2002
IEEE
15 years 10 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
DSRT
2002
IEEE
15 years 10 months ago
Performance Trade-Off in Distributed Simulation
Bhakti S. S. Onggo, Yong Meng Teo
145
Voted
ECCB
2002
IEEE
15 years 10 months ago
Modeling splicing sites with pairwise correlations
Masanori Arita, Koji Tsuda, Kiyoshi Asai