Search Sciweavers | Sciweavers

5525 search results - page 95 / 1105

» Verification of Model Transformations

123

click to vote

VLSID
2007
IEEE

112views VLSI» more VLSID 2007»

Synthesizing "Verification Aware" Models: Why and How?

16 years 6 months ago

Download www.nec-labs.com

Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazu...

claim paper

Read More »

130

click to vote

ICCAD
2006
IEEE

119views Hardware» more ICCAD 2006»

Automatic memory reductions for RTL model verification

16 years 3 months ago

Download www.ccs.neu.edu

Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...

claim paper

Read More »

104

click to vote

KDD
2009
ACM

161views Data Mining» more KDD 2009»

On formal models for social verification

16 years 1 months ago

Download mmnet.iis.sinica.edu.tw

Chien-Ju Ho, Kuan-Ta Chen

claim paper

Read More »

128

click to vote

DATE
2009
IEEE

101views Hardware» more DATE 2009»

Speeding up model checking by exploiting explicit and hidden verification constraints

16 years 1 months ago

Download www.date-conference.com

Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc...

claim paper

Read More »

141

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers