7280 search results - page 1404 / 1456 » Optimization Techniques |
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
110
click to vote
TLDI
2005
ACM
15 years 4 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
CLEF
2005
Springer
15 years 4 months ago
2005
Springer
This paper reports results for the University of Maryland’s participation in CLEF-2005 Cross-Language Speech Retrieval track. Techniques that were tried include: (1) document ex...