Sciweavers

3131 search results - page 50 / 627
» Generalized connection caching
Sort
View
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 8 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
FOCS
2009
IEEE
14 years 3 months ago
Approximating Minimum Cost Connectivity Problems via Uncrossable Bifamilies and Spider-Cover Decompositions
Abstract— We give approximation algorithms for the Generalized Steiner Network (GSN) problem. The input consists of a graph
Zeev Nutov
MSS
2000
IEEE
105views Hardware» more  MSS 2000»
14 years 1 months ago
Connection of a Climate Model Database and Mass Storage Archive(s)
An overview of an existing climate database which allows for storage of terabyte data volume is presented. Some features like the general architecture and the integration with an ...
Michael Lautenschlager, Hannes Thiemann
HPCA
2005
IEEE
14 years 9 months ago
A Unified Compressed Memory Hierarchy
The memory system's large and growing contribution to system performance motivates more aggressive approaches to improving its efficiency. We propose and analyze a memory hie...
Erik G. Hallnor, Steven K. Reinhardt
WEBDB
2001
Springer
137views Database» more  WEBDB 2001»
14 years 1 months ago
Using Database Technology to Improve Performance of Web Proxy Servers
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...
Kai Cheng, Yahiko Kambayashi, Mukesh K. Mohania