Search Sciweavers | Sciweavers

4719 search results - page 102 / 944

» Newtonian program analysis

124

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 »

138

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 »

132

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 »

141

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 10 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

191

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers