Sciweavers

69 search results - page 1 / 14

» spin 2007

7

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

13 years 12 months ago

Instrumenting C Programs with Nested Word Monitors

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

5

SPIN
2007
Springer

81views Theoretical Computer Science» more SPIN 2007»

Some Solutions to the Ignoring Problem

13 years 12 months ago

Some Solutions to the Ignoring Problem

Download cedric.cnam.fr

Sami Evangelista, Christophe Pajault

claim paper

Read More »

7

SPIN
2007
Springer

90views Theoretical Computer Science» more SPIN 2007»

On-the-Fly Dynamic Dead Variable Analysis

13 years 12 months ago

On-the-Fly Dynamic Dead Variable Analysis

Download contentdm.lib.byu.edu

Joel P. Self, Eric G. Mercer

claim paper

Read More »

21

IPPS
2007
IEEE

155views Distributed And Parallel Com...» more IPPS 2007»

Multi-Core Model Checking with SPIN

14 years 2 days ago

Multi-Core Model Checking with SPIN

Download spinroot.com

—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...

Gerard J. Holzmann, Dragan Bosnacki

claim paper

Read More »

16

GECCO
2007
Springer

135views Optimization» more GECCO 2007»

Obtaining ground states of ising spin glasses via optimizing bonds instead of spins

13 years 7 months ago

Obtaining ground states of ising spin glasses via optimizing bonds instead of spins

Download medal.cs.umsl.edu

Martin Pelikan, Alexander K. Hartmann

claim paper

Read More »

« Prev « First page 1 / 14 Last » Next »