7978 search results - page 1492 / 1596 » Combining shared-coin algorithms |
173
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
187
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
Protein interactions and complexes are major components of biological systems. Recent genome-wide applications of tandem affinity purification (TAP) in yeast have increased signifi...
111
click to vote
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...
191
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...