Sciweavers

27354 search results - page 5276 / 5471
» Distributed And Parallel Computing
Sort
View
BMCBI
2008
125views more  BMCBI 2008»
14 years 10 months 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»
14 years 10 months 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
96
Voted
COMSUR
2008
169views more  COMSUR 2008»
14 years 10 months ago
Peer-to-peer-based resource discovery In global grids: A tutorial
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resource...
Rajiv Ranjan, Aaron Harwood, Rajkumar Buyya
CORR
2010
Springer
79views Education» more  CORR 2010»
14 years 10 months ago
A Multi-hop Multi-source Algebraic Watchdog
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
MinJi Kim, Muriel Médard, João Barro...
85
Voted
CORR
2010
Springer
186views Education» more  CORR 2010»
14 years 10 months 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...
« Prev « First page 5276 / 5471 Last » Next »