Search Sciweavers | Sciweavers

9018 search results - page 20 / 1804

» 3D-Brain Model Software

click to vote

ISCA
2012
IEEE

232views Hardware» more ISCA 2012»

RADISH: Always-on sound and complete race detection in software and hardware

12 years 9 days ago

Download homes.cs.washington.edu

Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...

Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...

claim paper

Read More »

click to vote

ERSHOV
2009
Springer

152views Theoretical Computer Science» more ERSHOV 2009»

Applicability of the BLAST Model Checker: An Industrial Case Study

13 years 7 months ago

Download d3s.mff.cuni.cz

Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...

Emanuel Kolb, Ondrej Sery, Roland Weiss

claim paper

Read More »

click to vote

ICST
2009
IEEE

129views Software Engineering» more ICST 2009»

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking

13 years 7 months ago

Download www.carstensinz.de

Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...

Hendrik Post, Carsten Sinz

claim paper

Read More »

click to vote

ICSE
2004
IEEE-ACM

127views Software Engineering» more ICSE 2004»

A Model Driven Approach for Software Systems Reliability

14 years 10 months ago