6960 search results - page 18 / 1392 » Continuity Analysis of Programs |
67
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
POS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
LATA
2010
Springer
15 years 7 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
IVS
2006
14 years 9 months ago
2006
A research program at Cornell University that sought to study the ability of first and second grade children to acquire basic science concepts and the effect of this learning on l...