Sciweavers

537 search results - page 86 / 108
» Comparative Study of Protocols Used for Establishing VPN
Sort
View
SPIN
2007
Springer
15 years 3 months ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
INTERACTION
2009
ACM
15 years 4 months ago
Temporal-spatial association analysis of ocean salinity and temperature variations
Ocean circulation plays an important role in global climate change. In an effort to monitor ocean circulation an infrastructure of more than 3,000 buoys have been deployed in the ...
Yo-Ping Huang, Jung-Shian Jau, Frode Eika Sandnes
BMCBI
2010
137views more  BMCBI 2010»
14 years 10 months ago
BS Seeker: precise mapping for bisulfite sequencing
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...
Pao-Yang Chen, Shawn Cokus, Matteo Pellegrini
ICDCS
1999
IEEE
15 years 2 months ago
Proxy Cache Coherency and Replacement - Towards a More Complete Picture
This work studies the interaction of Web proxy cache coherency and replacement policies using trace-driven simulations. We specifically examine the relative importance of each typ...
Balachander Krishnamurthy, Craig E. Wills
BMCBI
2005
123views more  BMCBI 2005»
14 years 9 months ago
PSI-BLAST-ISS: an intermediate sequence search tool for estimation of the position-specific alignment reliability
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
Mindaugas Margelevicius, Ceslovas Venclovas