797 search results - page 86 / 160 » MODULA-2 and Its Compilation |
231
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
116
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
129
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
148
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
137
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...