Sciweavers

9186 search results - page 1612 / 1838
» A Module System for Scheme
Sort
View
88
Voted
HPCA
2005
IEEE
16 years 1 months ago
Software Directed Issue Queue Power Reduction
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
Antonio González, Jaume Abella, Michael F. ...
225
Voted
POPL
2008
ACM
16 years 29 days ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
185
Voted
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
16 years 24 days ago
Query biased snippet generation in XML search
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...
Yu Huang, Ziyang Liu, Yi Chen
182
Voted
SIGMOD
2006
ACM
110views Database» more  SIGMOD 2006»
16 years 24 days ago
Supporting ad-hoc ranking aggregates
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....
Chengkai Li, Kevin Chen-Chuan Chang, Ihab F. Ilyas
179
Voted
SIGMOD
2006
ACM
116views Database» more  SIGMOD 2006»
16 years 24 days ago
A geometric approach to monitoring threshold functions over distributed data streams
Monitoring data streams in a distributed system is the focus of much research in recent years. Most of the proposed schemes, however, deal with monitoring simple aggregated values...
Izchak Sharfman, Assaf Schuster, Daniel Keren
« Prev « First page 1612 / 1838 Last » Next »