1145 search results - page 168 / 229 » The Correctness of an Optimized Code Generation |
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
120
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
COMPUTER
2002
14 years 11 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper presents a coordinated multiple-substream unequal error protection and error concealment algorithm for SPIHT-coded bitstreams transmitted over lossy channels. In the pr...
207
click to vote
ICLP
2009
Springer
16 years 14 days ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...