Search Sciweavers | Sciweavers

7961 search results - page 110 / 1593

» Input-Output Model Programs

143

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 12 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

113

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 12 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

108

click to vote

ECAI
2004
Springer

112views Artificial Intelligence» more ECAI 2004»

Debugging Program Loops Using Approximate Modeling

15 years 11 months ago

Download www.cis.unisa.edu.au

Wolfgang Mayer, Markus Stumptner

claim paper

Read More »

click to vote

DATE
2003
IEEE

78views Hardware» more DATE 2003»

From C Programs to the Configure-Execute Model

15 years 11 months ago

Download www.date-conference.com

João M. P. Cardoso, Markus Weinhardt

claim paper

Read More »

145

click to vote

PPOPP
2003
ACM

95views Distributed And Parallel Com...» more PPOPP 2003»

Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers