Search Sciweavers | Sciweavers

1219 search results - page 13 / 244

» Verification of Equivalent-Results Methods

click to vote

CAV
2006
Springer

72views Hardware» more CAV 2006»

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

13 years 11 months ago

Download www.wisdom.weizmann.ac.il

David Harel

claim paper

Read More »

click to vote

ICCAD
1998
IEEE

86views Hardware» more ICCAD 1998»

Polynomial methods for component matching and verification

13 years 11 months ago

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper

Read More »

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Verification Methods for Weaker Shared Memory Consistency Models

13 years 11 months ago

Download ipdps.cc.gatech.edu

Rajnish Ghughal, Ganesh Gopalakrishnan

claim paper

Read More »

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

13 years 9 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

click to vote

PSB
2001

64views Applied Computing» more PSB 2001»

Gene Verification and Discovery by Walking Tree Method

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers