Sciweavers

3547 search results - page 348 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
BMCBI
2005
108views more  BMCBI 2005»
15 years 6 months ago
SplitTester: software to identify domains responsible for functional divergence in protein family
Background: Many protein families have undergone functional divergence after gene duplications such that current subgroups of the family carry out overlapping but distinct biologi...
Xiang Gao, Kent Vander Velden, Daniel F. Voytas, X...
259
Voted
BMCBI
2004
323views more  BMCBI 2004»
15 years 6 months ago
Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
David Adalsteinsson, David McMillen, Timothy C. El...
179
Voted
SOSP
2009
ACM
16 years 3 months ago
Fast byte-granularity software fault isolation
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
Miguel Castro, Manuel Costa, Jean-Philippe Martin,...
216
Voted
ICPPW
2002
IEEE
15 years 11 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
185
Voted
BMCBI
2007
137views more  BMCBI 2007»
15 years 7 months ago
GEVALT: An integrated software tool for genotype analysis
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...
Ofir Davidovich, Gad Kimmel, Ron Shamir