8008 search results - page 469 / 1602 » Computer-Aided Language Processing |
220
click to vote
IPPS
2006
IEEE
16 years 1 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...
218
click to vote
EDBTW
2004
Springer
16 years 21 days 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 ...
218
click to vote
IPPS
2002
IEEE
16 years 7 days 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...
238
click to vote
DEXA
2006
Springer
15 years 11 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...
203
Voted
FMCAD
2000
Springer
15 years 11 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...