Sciweavers

12753 search results - page 79 / 2551

» is 2002

22

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

14 years 1 months ago

Reachability Analysis for Formal Verification of SystemC

Download www.scarpaz.com

Rolf Drechsler, Daniel Große

claim paper

Read More »

24

DSD
2002
IEEE

79views Hardware» more DSD 2002»

Source Code Transformation to Improve Conditional Hardware Reuse

14 years 1 months ago

Source Code Transformation to Improve Conditional Hardware Reuse

Download www.dimap.ufrn.br

Olga Peñalba, José M. Mendías...

claim paper

Read More »

25

DSN
2002
IEEE

103views Computer Networks» more DSN 2002»

Formal Development of an Embedded Verifier for Java Card Byte Code

14 years 1 months ago

Formal Development of an Embedded Verifier for Java Card Byte Code

Download www.gemplus.com

Ludovic Casset, Lilian Burdy, Antoine Requet

claim paper

Read More »

22

DSRT
2002
IEEE

98views Modeling and Simulation» more DSRT 2002»

Performance Trade-Off in Distributed Simulation

14 years 1 months ago

Performance Trade-Off in Distributed Simulation

Download www.comp.nus.edu.sg

Bhakti S. S. Onggo, Yong Meng Teo

claim paper

Read More »

25

ECCB
2002
IEEE

114views Computational Biology» more ECCB 2002»

Modeling splicing sites with pairwise correlations

14 years 1 months ago

Modeling splicing sites with pairwise correlations

Download bioinformatics.oxfordjournals.org

Masanori Arita, Koji Tsuda, Kiyoshi Asai

claim paper

Read More »

« Prev « First page 79 / 2551 Last » Next »