Sciweavers

1724 search results - page 225 / 345
» Concurrency in the Data Warehouse
Sort
View
VLDB
2000
ACM
120views Database» more  VLDB 2000»
15 years 10 months ago
Integrating the UB-Tree into a Database System Kernel
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...
Frank Ramsak, Volker Markl, Robert Fenk, Martin Zi...
NAR
2008
118views more  NAR 2008»
15 years 6 months ago
SuperTarget and Matador: resources for exploring drug-target relationships
The molecular basis of drug action is often not well understood. This is partly because the very abundant and diverse information generated in the past decades on drugs is hidden ...
Stefan Günther, Michael Kuhn 0004, Mathias Du...
KAIS
2000
139views more  KAIS 2000»
15 years 6 months ago
Incremental View Maintenance for Mobile Databases
In a mobile environment, querying a database at a stationary server from a mobile client is expensive due to the limited bandwidth of a wireless channel and the instability of the ...
Ken C. K. Lee, Hong Va Leong, Antonio Si
GLOBECOM
2006
IEEE
16 years 13 days ago
Multicast Support for a Storage Area Network Switch
— Efficient support of multicast traffic in Storage Area Networks (SANs) enables applications such as remote data replication and distributed multimedia systems, in which a ser...
Andrea Bianco, Paolo Giaccone, Enrico Maria Giraud...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 12 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn