10707 search results - page 278 / 2142 » Designing executable abstractions |
130
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
168
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
152
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
131
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
114
click to vote
LISP
1998
15 years 4 months ago
1998
Abstract. RainbowScheme is a visual stepping system that presents Scheme program’s runtime state using icons, colored environment trees, and colored Scheme code. A Scheme program...