4716 search results - page 26 / 944 » Iterative-free program analysis |
107
Voted
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
122
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
114
Voted
IWPC
1997
IEEE
15 years 6 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
62
Voted
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
93
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer