3473 search results - page 437 / 695 » Aspect-Oriented Programming with C |
138
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
189
click to vote
CC
2004
Springer
16 years 2 days ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
163
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
146
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
191
click to vote
DALT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...