Sciweavers

5448 search results - page 1053 / 1090
» Breakpoints and Time in Distributed Computations
Sort
View
103
Voted
BMCBI
2008
125views more  BMCBI 2008»
15 years 17 days ago
SynteBase/SynteView: a tool to visualize gene order conservation in prokaryotic genomes
Background: It has been repeatedly observed that gene order is rapidly lost in prokaryotic genomes. However, persistent synteny blocks are found when comparing more or less distan...
Frédéric Lemoine, Bernard Labedan, O...
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 17 days ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 16 days ago
Capacitated Caching Games
Capacitated Caching (CC) Games are motivated by P2P and web caching applications, and involve nodes on a network making strategic choices regarding the content to replicate in the...
Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Na...
106
Voted
BMCBI
2006
101views more  BMCBI 2006»
15 years 15 days ago
How repetitive are genomes?
Background: Genome sequences vary strongly in their repetitiveness and the causes for this are still debated. Here we propose a novel measure of genome repetitiveness, the index o...
Bernhard Haubold, Thomas Wiehe
MICRO
2008
IEEE
126views Hardware» more  MICRO 2008»
15 years 12 days ago
Multicore Resource Management
UAL PRIVATE MACHINE ABSTRACTION WOULD ALLOW SOFTWARE POLICIES TO EXPLICITLY MANAGE MICROARCHITECTURE RESOURCES. VPM POLICIES, IMPLEMENTED PRIMARILY IN SOFTWARE, TRANSLATE APPLICATI...
Kyle J. Nesbit, Miquel Moretó, Francisco J....
« Prev « First page 1053 / 1090 Last » Next »