6960 search results - page 237 / 1392 » Continuity Analysis of Programs |
118
click to vote
PEPM
2009
ACM
16 years 18 days ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
111
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
115
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
114
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
125
click to vote
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...