Sciweavers

3201 search results - page 41 / 641
» High Quality Hatching
Sort
View
ICSQP
1994
14 years 11 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
ICCD
2004
IEEE
122views Hardware» more  ICCD 2004»
15 years 6 months ago
Quality Improvement Methods for System-Level Stimuli Generation
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
NCA
2006
IEEE
15 years 3 months ago
An Adaptive Quality of Service Based Scheduling Algorithm for Wide Area Large Scale Problems
This paper explores the problem of dynamically scheduling large scale applications over wide area networks and then proposes an adaptive scheduling algorithm to provide quality of...
Wilson Lozano, Wilson Rivera
HICSS
1997
IEEE
80views Biometrics» more  HICSS 1997»
15 years 1 months ago
Unbundling Power Quality Services: Technical Issues
The modern industrial facility depends on sensitive electronic equipment that can be shut down suddenly by severe power system disturbances. A large number of these disturbances o...
Robert Lasseter
BMCBI
2007
89views more  BMCBI 2007»
14 years 9 months ago
msmsEval: tandem mass spectral quality assignment for high-throughput proteomics
Background: In proteomics experiments, database-search programs are the method of choice for protein identification from tandem mass spectra. As amino acid sequence databases grow...
Jason W. H. Wong, Matthew J. Sullivan, Hugh M. Car...