792 search results - page 119 / 159 » Static Analysis of XSLT Programs |
85
Voted
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
This paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. The parser uses a slightly...
131
Voted
WCET
2010
15 years 14 days ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
122
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
162
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
113
Voted
IWMM
2007
Springer
15 years 8 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...