12551 search results - page 2394 / 2511 » Reuse in Systems Engineering |
199
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
204
Voted
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
143
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Mobile users of computation and communication services have been rapidly adopting battery-powered mobile handhelds, such as PocketPCs and SmartPhones, for their work. However, the...
129
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
218
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...