Sciweavers

4725 search results - page 92 / 945
» Dependence-Based Program Analysis
Sort
View
95
Voted
CODES
2000
IEEE
15 years 7 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ר Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖר¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ýר Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt
107
Voted
ADAEUROPE
2000
Springer
15 years 7 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
146
Voted
AGP
2010
IEEE
15 years 7 months ago
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...
134
Voted
ACPC
1999
Springer
15 years 6 months ago
Inter-procedural Analysis for Parallelization of Java Programs
Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka
101
Voted
ECOOPW
1999
Springer
15 years 6 months ago
PAOLA - Program Analysis of Object-Oriented Languages
Wolfram Amme, Markus Schordan, László...