Search Sciweavers | Sciweavers

7961 search results - page 110 / 1593

» Input-Output Model Programs

147

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

16 years 6 days ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

118

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

16 years 6 days ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

116

click to vote

ECAI
2004
Springer

112views Artificial Intelligence» more ECAI 2004»

Debugging Program Loops Using Approximate Modeling

16 years 2 days 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 12 months ago

Download www.date-conference.com

João M. P. Cardoso, Markus Weinhardt

claim paper

Read More »

152

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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers