5090 search results - page 485 / 1018 » Constructing Strategies for Programming |
189
click to vote
JAPLL
2006
15 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
202
click to vote
JOT
2010
15 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
222
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
177
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
190
click to vote
IEEEPACT
2006
IEEE
16 years 29 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...