Sciweavers

332 search results - page 24 / 67
» Concurrency control with data coloring
Sort
View
BMCBI
2006
132views more  BMCBI 2006»
13 years 8 months ago
Comprehensive quality control utilizing the prehybridization third-dye image leads to accurate gene expression measurements by c
Background: Gene expression profiling using microarrays has become an important genetic tool. Spotted arrays prepared in academic labs have the advantage of low cost and high desi...
Xujing Wang, Shuang Jia, Lisa Meyer, Bixia Xiang, ...
ENTCS
2008
99views more  ENTCS 2008»
13 years 8 months ago
ArcAngelC: a Refinement Tactic Language for Circus
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
M. V. M. Oliveira, A. L. C. Cavalcanti
SIGMOD
2011
ACM
171views Database» more  SIGMOD 2011»
12 years 10 months ago
BRRL: a recovery library for main-memory applications in the cloud
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
Tuan Cao, Benjamin Sowell, Marcos Antonio Vaz Sall...
NGC
2001
Springer
116views Communications» more  NGC 2001»
14 years 13 days ago
Scalable IP Multicast Sender Access Control for Bi-directional Trees
Bi-directional shared tree is an efficient routing scheme for interactive multicast applications with multiple sources. Given the open-group IP multicast service model, it is impor...
Ning Wang, George Pavlou
CIDR
2011
221views Algorithms» more  CIDR 2011»
12 years 11 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...