Search Sciweavers | Sciweavers

4725 search results - page 92 / 945

» Dependence-Based Program Analysis

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 »

145

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 »

195

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

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

184

click to vote

ACPC
1999
Springer

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

Inter-procedural Analysis for Parallelization of Java Programs

15 years 10 months ago

Download lab.iisec.ac.jp

Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka

claim paper

Read More »

137

click to vote

ECOOPW
1999
Springer

104views Distributed And Parallel Com...» more ECOOPW 1999»

PAOLA - Program Analysis of Object-Oriented Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers