1107 search results - page 84 / 222 » XAIRA : software for language analysis |
143
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
140
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
139
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Applying Cloud computing techniques for analyzing large data sets has shown promise in many data-driven scientific applications. Our approach presented here is to use Cloud comput...
164
click to vote
ICDCIT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
129
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...