6960 search results - page 89 / 1392 » Continuity Analysis of Programs |
128
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
115
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
122
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
120
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
108
click to vote
COCO
2005
Springer
15 years 8 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...