Sciweavers

6800 search results - page 615 / 1360
» Testing with Functions as Specifications
Sort
View
RECOMB
2007
Springer
16 years 7 months ago
Protein Conformational Flexibility Analysis with Noisy Data
Abstract. Protein conformational changes play a critical role in biological functions such as ligand-protein and protein-protein interactions. Due to the noise in structural data, ...
Anshul Nigham, David Hsu
CEC
2009
IEEE
16 years 2 months ago
The multiobjective evolutionary algorithm based on determined weight and sub-regional search
— By dividing the multiobjective optimization of the decision space into several small regions, this paper proposes multi-objective optimization algorithm based on sub-regional s...
Hai-lin Liu, Xueqiang Li
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 1 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
MEMOCODE
2007
IEEE
16 years 1 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
APGV
2005
ACM
16 years 1 months ago
Towards a psychophysical evaluation of a surgical simulator for bone-burring
The CRS4 experimental bone-burr simulator implements visual and haptic effects through the incorporation of a physics-based contact model and patient-specific data. Psychophysica...
Gavin Brelstaff, Marco Agus, Andrea Giachetti, Enr...