Search Sciweavers | Sciweavers

6960 search results - page 166 / 1392

» Continuity Analysis of Programs

118

click to vote

EUROPAR
2003
Springer

108views Distributed And Parallel Com...» more EUROPAR 2003»

DeWiz - A Modular tool Architecture for Parallel Program Analysis

15 years 11 months ago

Download www.csc.fi

Dieter Kranzlmüller, Michael Scarpa, Jens Vol...

claim paper

Read More »

153

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 11 months ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

135

click to vote

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 10 months ago

Download www.springer.com

Lunjin Lu

claim paper

Read More »

142

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 10 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

135

click to vote

CODES
2000
IEEE

86views Software Engineering» more CODES 2000»

Program path analysis to bound cache-related preemption delay in preemptive real-time systems

15 years 10 months ago

Download www.cs.york.ac.uk

ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ×Ø Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖ×Ø¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ý×Ø Ñ×º Ì × ÔÖÓ Ð Ñ × Ü ...

Hiroyuki Tomiyama, Nikil D. Dutt

claim paper

Read More »

« Prev « First page 166 / 1392 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers