Search Sciweavers | Sciweavers

3820 search results - page 54 / 764

» Bounded Model Debugging

click to vote

DATE
2005
IEEE

98views Hardware» more DATE 2005»

Space-Efficient Bounded Model Checking

14 years 2 months ago

Download www.cs.tau.ac.il

Jacob Katz, Ziyad Hanna, Nachum Dershowitz

claim paper

Read More »

click to vote

HICSS
2005
IEEE

124views Biometrics» more HICSS 2005»

Bounded in Cyberspace: An Empirical Model of Self-Regulation in Virtual Communities

14 years 2 months ago

Download ekarine.org

This article aims to focus on self-regulation mechanisms that are exercised by virtual communities in order to maintain their boundaries of autonomy while directing behavior of th...

Karine Barzilai-Nahon, Seev Neumann

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 2 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 2 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers