8008 search results - page 469 / 1602 » Computer-Aided Language Processing |
166
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
173
Voted
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
164
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
188
Voted
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Finding all occurrences of a twig pattern in an XML document is a core operation for XML query processing. The emergence of XML as a common mark-up language for data inte...
154
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...