1760 search results - page 272 / 352 » A System to Mark Programs Automatically |
148
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
133
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We derive a recursive general-radix pruned Cooley-Tukey fast Fourier transform (FFT) algorithm in Kronecker product notation. The algorithm is compatible with vectorization and pa...
EWSA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
134
click to vote
OOPSLA
1995
Springer
15 years 6 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
103
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...