Search Sciweavers | Sciweavers

4341 search results - page 182 / 869

» Quantitative Model checking

click to vote

DATE
2009
IEEE

101views Hardware» more DATE 2009»

Speeding up model checking by exploiting explicit and hidden verification constraints

14 years 5 months ago

Download www.date-conference.com

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

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

14 years 5 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

click to vote

IPPS
2009
IEEE

109views Distributed And Parallel Com...» more IPPS 2009»

Efficient large-scale model checking

14 years 5 months ago

Download www.cs.vu.nl

Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br...

claim paper

Read More »

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

14 years 5 months ago

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam, ...

claim paper

Read More »

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers