Sciweavers

74 search results - page 15 / 15
» Instead of a review
Sort
View
CACM
2010
179views more  CACM 2010»
14 years 12 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
BMCBI
2006
92views more  BMCBI 2006»
14 years 11 months ago
A jumping profile Hidden Markov Model and applications to recombination sites in HIV and HCV genomes
Background: Jumping alignments have recently been proposed as a strategy to search a given multiple sequence alignment A against a database. Instead of comparing a database sequen...
Anne-Kathrin Schultz, Ming Zhang, Thomas Leitner, ...
108
Voted
SAC
2002
ACM
14 years 11 months ago
Semi-automatic design of agent organisations
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
Anthony Karageorgos, Simon G. Thompson, Nikolay Me...
104
Voted
BMCBI
2006
181views more  BMCBI 2006»
14 years 11 months ago
The comprehensive updated regulatory network of Escherichia coli K-12
Background: Escherichia coli is the model organism for which our knowledge of its regulatory network is the most extensive. Over the last few years, our project has been collectin...
Heladia Salgado, Alberto Santos-Zavaleta, Socorro ...