Search Sciweavers | Sciweavers

4722 search results - page 103 / 945

» Representation-independent program analysis

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

14 years 1 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

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

14 years 1 months ago

Download www.cs.york.ac.uk

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

Hiroyuki Tomiyama, Nikil D. Dutt

claim paper

Read More »

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

14 years 1 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

14 years 1 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

ACPC
1999
Springer

263views Distributed And Parallel Com...» more ACPC 1999»

Inter-procedural Analysis for Parallelization of Java Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers