6306 search results - page 388 / 1262 » Space, Time, and the Use of Language |
167
Voted
ICFP
2007
ACM
16 years 7 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...
193
Voted
DCC
2007
IEEE
16 years 7 months ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
203
Voted
JCP
2007
15 years 7 months ago
2007
Abstract— The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed...
191
Voted
DATE
2003
IEEE
16 years 1 months ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
205
Voted
DCC
2009
IEEE
16 years 8 months ago
2009
IEEE
We present a linear time and space suffix array (SA) construction algorithm called the SA-IS algorithm. The SA-IS algorithm is novel because of the LMS-substrings used for the pro...