Search Sciweavers | Sciweavers

1219 search results - page 10 / 244

» Verification of Equivalent-Results Methods

131

click to vote

DAC
2006
ACM

115views Computer Architecture» more DAC 2006»

Practical methods in coverage-oriented verification of the merom microprocessor

16 years 6 months ago

Download www.research.ibm.com

Alon Gluska

claim paper

Read More »

143

click to vote

TPHOL
2009
IEEE

270views Automated Reasoning» more TPHOL 2009»

Formal Verification of Exact Computations Using Newton's Method

16 years 15 days ago

Download www-sop.inria.fr

Nicolas Julien, Ioana Pasca

claim paper

Read More »

click to vote

VTC
2008
IEEE

62views Communications» more VTC 2008»

Scatterer Detection by Successive Cancellation for UWB - Method and Experimental Verification

16 years 7 days ago

Download www.merl.com

Telmo Santos, Johan Karedal, Peter Almers, Fredrik...

claim paper

Read More »

136

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

16 years 4 days ago

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

126

click to vote

CISSE
2007
Springer

104views Software Engineering» more CISSE 2007»

A Fingerprint Method for Scientific Data Verification

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers