Sciweavers

759 search results - page 150 / 152
» A Perspective on Knowledge Compilation
Sort
View
CACM
2010
179views more  CACM 2010»
13 years 7 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
2008
91views more  BMCBI 2008»
13 years 7 months ago
Presenting and exploring biological pathways with PathVisio
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
Martijn P. van Iersel, Thomas Kelder, Alexander R....
CCR
2006
118views more  CCR 2006»
13 years 7 months ago
Tmix: a tool for generating realistic TCP application workloads in ns-2
In order to perform realistic network simulations, one needs a traffic generator that is capable of generating realistic synthetic traffic in a closed-loop fashion that "look...
Michele C. Weigle, Prashanth Adurthi, Félix...
BMCBI
2007
87views more  BMCBI 2007»
13 years 7 months ago
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
Background: Mitochondrial tRNAs have been the subject of study for structural biologists interested in their secondary structure characteristics, evolutionary biologists have rese...
Konstantin Yu Popadin, Leila A. Mamirova, Fyodor A...
INTERNET
2008
134views more  INTERNET 2008»
13 years 7 months ago
Multilanguage Programming
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
Steve Vinoski