Sciweavers

886 search results - page 159 / 178
» From Detecting Errors to Automatically Correcting Them
Sort
View
ICS
2010
Tsinghua U.
14 years 9 days ago
Memory Consistency Conditions for Self-Assembly Programming
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
Aaron Sterling
TRIDENTCOM
2006
IEEE
14 years 2 months ago
The utility of perceptive communication between distant wireless nodes
CSMA-based MAC protocols require wireless nodes to share the transmission medium with other nodes that are within carriersensing (CS) range. Hence, operations that depend on and c...
Kimaya Sanzgiri, Ian D. Chakeres, Elizabeth M. Bel...
TLDI
2003
ACM
121views Formal Methods» more  TLDI 2003»
14 years 1 months 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
169views more  BMCBI 2005»
13 years 8 months ago
MAPPER: a search engine for the computational identification of putative transcription factor binding sites in multiple genomes
Background: Cis-regulatory modules are combinations of regulatory elements occurring in close proximity to each other that control the spatial and temporal expression of genes. Th...
Voichita D. Marinescu, Isaac S. Kohane, Alberto Ri...
BMCBI
2011
13 years 3 months ago
MRCQuant- an accurate LC/MS relative isotopic quantification algorithm on TOF instruments
Background: Relative isotope abundance quantification, which can be used for peptide identification and differential peptide quantification, plays an important role in liquid chro...
William H. Haskins, Konstantinos Petritis, Jianqiu...