Sciweavers

9631 search results - page 1665 / 1927
» The Costs of Using JXTA
Sort
View
ALMOB
2006
106views more  ALMOB 2006»
15 years 6 months ago
Multiple sequence alignment with user-defined anchor points
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
Burkhard Morgenstern, Sonja J. Prohaska, Dirk P&ou...
BMCBI
2006
82views more  BMCBI 2006»
15 years 6 months ago
Selection of antisense oligonucleotides based on multiple predicted target mRNA structures
Background: Local structures of target mRNAs play a significant role in determining the efficacies of antisense oligonucleotides (ODNs), but some structure-based target site selec...
Xiaochen Bo, Shaoke Lou, Daochun Sun, Wenjie Shu, ...
BMCBI
2006
179views more  BMCBI 2006»
15 years 6 months ago
Multiscale Hy3S: Hybrid stochastic simulation for supercomputers
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
Howard Salis, Vassilios Sotiropoulos, Yiannis N. K...
CN
2006
112views more  CN 2006»
15 years 6 months ago
Optimal server allocations for streaming multimedia applications on the Internet
In this paper, we address the server selection problem for streaming applications on the Internet. The architecture we consider is similar to the content distribution networks con...
Padmavathi Mundur, Poorva Arankalle
ENTCS
2006
97views more  ENTCS 2006»
15 years 6 months ago
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
Tayfun Elmas, Serdar Tasiran
« Prev « First page 1665 / 1927 Last » Next »