Search Sciweavers | Sciweavers

5015 search results - page 17 / 1003

» Model Checking a Path

click to vote

ECLIPSE
2004
ACM

129views Software Engineering» more ECLIPSE 2004»

Supporting model checking education using BOGOR/Eclipse

14 years 28 days ago

Download projects.cis.ksu.edu

This paper describes our eﬀort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier

claim paper

Read More »

click to vote

CG
2007
Springer

193views Computer Graphics» more CG 2007»

Fast continuous collision detection among deformable models using graphics processors

13 years 7 months ago

Download www.cs.unc.edu

We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...

Naga K. Govindaraju, Ilknur Kabul, Ming C. Lin, Di...

claim paper

Read More »

click to vote

CONCUR
2003
Springer

122views Distributed And Parallel Com...» more CONCUR 2003»

Multi-Valued Model Checking via Classical Model Checking

14 years 22 days ago

Download www.cs.toronto.edu

Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

click to vote

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

14 years 1 months ago

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »