7092 search results - page 1147 / 1419 » Parallelizing constraint programs |
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
148
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
176
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
160
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
169
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of the memory hierarchy is critical for the performance of current processors. The performance of the memory hierarchy can be improved by means of program transf...