Sciweavers

23704 search results - page 477 / 4741
» Data and Information as Property
Sort
View
TLDI
2003
ACM
121views Formal Methods» more  TLDI 2003»
16 years 13 days ago
Types for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
Cormac Flanagan, Shaz Qadeer
BMCBI
2005
116views more  BMCBI 2005»
15 years 7 months ago
Dynamic covariation between gene expression and proteome characteristics
Background: Cells react to changing intra- and extracellular signals by dynamically modulating complex biochemical networks. Cellular responses to extracellular signals lead to ch...
Mansour Taghavi Azar Sharabiani, Markku Siermala, ...
BMCBI
2002
131views more  BMCBI 2002»
15 years 7 months ago
Efficient Boolean implementation of universal sequence maps (bUSM)
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
John Schwacke, Jonas S. Almeida
ORL
1998
68views more  ORL 1998»
15 years 6 months ago
A fast bipartite network flow algorithm for selective assembly
Bipartite network flow problems naturally arise in applications such as selective assembly and preemptive scheduling. This paper presents fast algorithms for these problems that ...
Satoru Iwata, Tomomi Matsui, S. Thomas McCormick
ERCIMDL
2009
Springer
95views Education» more  ERCIMDL 2009»
16 years 1 months ago
Recollection: Integrating Data through Access
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
Laura E. Campbell