Sciweavers

6014 search results - page 901 / 1203
» Parametric Analysis of Computer Systems
Sort
View
126
Voted
VLDB
1997
ACM
109views Database» more  VLDB 1997»
15 years 9 months ago
Effective Memory Use in a Media Server
A number of techniques have been developed for maximizing disk utilization in media servers, including disk arm scheduling and data placement ones. Instead, in this paper we focus...
Edward Y. Chang, Hector Garcia-Molina
VLDB
1993
ACM
152views Database» more  VLDB 1993»
15 years 9 months ago
Declustering Objects for Visualization
In this paper we propose a new declustering method which is particularly suitable for image and cartographic databases used for visualization. Our declustering method is based on ...
Ling Tony Chen, Doron Rotem
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 8 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
ICLP
2010
Springer
15 years 8 months ago
Implementation Alternatives for Bottom-Up Evaluation
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
Stefan Brass
IAT
2009
IEEE
15 years 8 months ago
Learning in a Fixed or Evolving Network of Agents
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...
Gauvain Bourgne, Amal El Fallah-Seghrouchni, Henry...