85 search results - page 17 / 17 » Implementation and Evaluation of a Java Based Computational ... |
HPDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...
BMCBI
2005
13 years 4 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
BMCBI
2005
13 years 4 months ago
2005
Background: Pairwise stochastic context-free grammars (Pair SCFGs) are powerful tools for evolutionary analysis of RNA, including simultaneous RNA sequence alignment and secondary...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
MICRO
2003
IEEE
13 years 10 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...