Search Sciweavers | Sciweavers

11

GLVLSI
2006
IEEE

95views VLSI» more GLVLSI 2006»

Test generation using SAT-based bounded model checking for validation of pipelined processors

13 years 11 months ago

Functional veriﬁcation is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor veriﬁcation. Eﬃcient ...

Heon-Mo Koo, Prabhat Mishra

claim paper

Read More »

15

click to vote

RC
2007

113views more RC 2007»

A Search Algorithm for Calculating Validated Reliability Bounds

13 years 4 months ago

Download www.ce.utexas.edu

The search algorithm presented allows the CDF of a dependent variable to be bounded with 100%conﬁdence,andallowsforaguaranteedevaluationof theerror involved.Thesereliabilitybound...

Fulvio Tonon

claim paper

Read More »

8

click to vote

CAD
2008
Springer

161views Theoretical Computer Science» more CAD 2008»

Analysis of validated error bounds of surface-to-surface intersection

13 years 5 months ago

Download deslab.mit.edu

Kwang Hee Ko, Nicholas M. Patrikalakis

claim paper

Read More »

10

click to vote

MP
2006

116views more MP 2006»

Formulations and Valid Inequalities for the Heterogeneous Vehicle Routing Problem

13 years 5 months ago

Download www.math.tu-dresden.de

We consider the vehicle routing problem where one can choose among vehicles with different costs and capacities to serve the trips. We develop six different formulations: the first...

Hande Yaman

claim paper

Read More »

15

click to vote

SDM
2010
SIAM

166views Data Mining» more SDM 2010»

A Permutation Approach to Validation

13 years 6 months ago

Download www.cs.rpi.edu

We give a permutation approach to validation (estimation of out-sample error). One typical use of validation is model selection. We establish the legitimacy of the proposed permut...

Malik Magdon-Ismail, Konstantin Mertsalov

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers