Sciweavers

1079 search results - page 202 / 216
» Predictive testing: amplifying the effectiveness of software...
Sort
View
PLDI
2003
ACM
15 years 5 months ago
Bug isolation via remote program sampling
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
Ben Liblit, Alexander Aiken, Alice X. Zheng, Micha...
ICNP
1999
IEEE
15 years 4 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
ICDCS
2010
IEEE
15 years 3 months ago
Sentomist: Unveiling Transient Sensor Network Bugs via Symptom Mining
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
Yangfan Zhou, Xinyu Chen, Michael R. Lyu, Jiangchu...
BMCBI
2006
124views more  BMCBI 2006»
14 years 11 months ago
ZCURVE_V: a new self-training system for recognizing protein-coding genes in viral and phage genomes
Background: It necessary to use highly accurate and statistics-based systems for viral and phage genome annotations. The GeneMark systems for gene-finding in virus and phage genom...
Feng-Biao Guo, Chun-Ting Zhang
90
Voted
CORR
2006
Springer
109views Education» more  CORR 2006»
14 years 11 months ago
On Conditional Branches in Optimal Decision Trees
The decision tree is one of the most fundamental ing abstractions. A commonly used type of decision tree is the alphabetic binary tree, which uses (without loss of generality) &quo...
Michael B. Baer