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

15 years 7 months ago

Download www.wisdom.weizmann.ac.il

David Harel

claim paper

Read More »

103

click to vote

ICCAD
1998
IEEE

86views Hardware» more ICCAD 1998»

Polynomial methods for component matching and verification

15 years 6 months ago

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper

Read More »

103

click to vote

IPPS
2000
IEEE

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

Verification Methods for Weaker Shared Memory Consistency Models

15 years 6 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?

15 years 5 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers