Sciweavers

889 search results - page 115 / 178
» Cluster Tools
Sort
View
VLDB
1997
ACM
100views Database» more  VLDB 1997»
14 years 10 days ago
The Oracle Universal Server Buffer
The buffer manager is integral to the performance, scalability, and reliability of Oracle’s Universal Dam Server, a high performance object-relational databasemanagerthat provid...
William Bridge, Ashok Joshi, M. Keihl, Tirthankar ...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
13 years 12 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
GECCO
2006
Springer
141views Optimization» more  GECCO 2006»
13 years 12 months ago
Towards effective adaptive random testing for higher-dimensional input domains
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
Johannes Mayer
CASCON
2007
106views Education» more  CASCON 2007»
13 years 9 months ago
Identifying active subgroups in online communities
As online communities proliferate, methods are needed to explore and capture patterns of activity within them. This paper focuses on the problem of identifying active subgroups wi...
Alvin Chin, Mark H. Chignell
FEWS
2007
13 years 9 months ago
Towards a Semantic Contact Management
Many organizations face every day the problem of effectively managing their contacts (customers, suppliers, partners, etc.), in terms of communication, clustering, networking, ana...
Irene Celino, Francesco Corcoglioniti, Emanuele De...