4722 search results - page 154 / 945 » Encoding Program Executions |
146
click to vote
CLUSTER
2008
IEEE
15 years 4 months ago
2008
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...
150
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...
139
click to vote
MICRO
1994
IEEE
15 years 9 months ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
125
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
181
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...