Sciweavers

12453 search results - page 269 / 2491
» Concurrent Data Structures
Sort
View
CIDR
2011
221views Algorithms» more  CIDR 2011»
14 years 10 months ago
Deuteronomy: Transaction Support for Cloud Data
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
Justin J. Levandoski, David B. Lomet, Mohamed F. M...
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Pattern-Based Verification for Trees
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
Milan Ceska, Pavel Erlebach, Tomás Vojnar
BMCBI
2004
127views more  BMCBI 2004»
15 years 6 months ago
MolTalk - a programming library for protein structures and structure analysis
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
Alexander V. Diemand, Holger Scheib
MCAM
2007
Springer
239views Multimedia» more  MCAM 2007»
16 years 25 days ago
QoS Adaptive Data Organizing and Delivery Framework for P2P Media Streaming
This paper presents a novel data organizing and delivery framework for P2P media streaming which is aware of media content. In this framework, the media data is partitioned GOP by ...
Longshe Huo, Wen Gao, Qiang Fu, Rui Guo, Shuangjia...
CSCW
2000
ACM
15 years 11 months ago
Data management support for asynchronous groupware
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
Nuno M. Preguiça, José Legatheaux Ma...