Search Sciweavers | Sciweavers

116 search results - page 3 / 24

» Sequential Verification of Serializability

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

15 years 7 months ago

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi

claim paper

Read More »

125

EURODAC
1994
IEEE

115views VHDL» more EURODAC 1994»

15 years 7 months ago

Klaus Schneider, Thomas Kropf, Ramayya Kumar

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

15 years 7 months ago

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

click to vote

ICCAD
1990
IEEE

51views Hardware» more ICCAD 1990»

15 years 7 months ago

Olivier Coudert, Jean Christophe Madre

claim paper

Read More »

click to vote

DATE
2004
IEEE

79views Hardware» more DATE 2004»

15 years 6 months ago

Sciweavers