5090 search results - page 451 / 1018 » Constructing Strategies for Programming |
161
click to vote
EUROPAR
2003
Springer
16 years 3 days ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
135
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...
160
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
190
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
155
click to vote
LANMR
2007
15 years 8 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...