Sciweavers

6800 search results - page 1049 / 1360
» Testing with Functions as Specifications
Sort
View
ECOOP
2007
Springer
16 years 13 days ago
Aspect-Based Introspection and Change Analysis for Evolving Programs
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
Kevin J. Hoffman, Murali Krishna Ramanathan, Patri...
BIBE
2006
IEEE
184views Bioinformatics» more  BIBE 2006»
16 years 10 days ago
A Language Modeling Text Mining Approach to the Annotation of Protein Community
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...
Xiaodan Zhang, Daniel Duanqing Wu, Xiaohua Zhou, X...
DATE
2005
IEEE
122views Hardware» more  DATE 2005»
15 years 12 months ago
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits
We discuss fault equivalence and dominance relations for multiple output combinational circuits. The conventional definition for equivalence says that “Two faults are equivalen...
Raja K. K. R. Sandireddy, Vishwani D. Agrawal
ICS
2005
Tsinghua U.
15 years 11 months ago
Improved automatic testcase synthesis for performance model validation
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
Robert H. Bell Jr., Lizy Kurian John
MABS
2005
Springer
15 years 11 months ago
Automatic Tuning of Agent-Based Models Using Genetic Algorithms
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
Benoît Calvez, Guillaume Hutzler
« Prev « First page 1049 / 1360 Last » Next »