11200 search results - page 2068 / 2240 » An Object-oriented Optimization System |
113
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
127
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
111
click to vote
PODC
2005
ACM
15 years 7 months ago
2005
ACM
A quorum system is a family of sets (themselves called quorums), each pair of which intersect. In many distributed algorithms, the basic unit accessed by a client is a quorum of n...
142
Voted
TLDI
2005
ACM
15 years 7 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, ...
109
click to vote
VEE
2005
ACM
15 years 7 months ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...