3162 search results - page 400 / 633 » Transformations for semi-continuous data |
146
click to vote
ASPDAC
2006
ACM
16 years 18 days ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
188
click to vote
CP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
155
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
182
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
184
click to vote
IFL
2004
Springer
16 years 7 hour ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...