Sciweavers

3373 search results - page 468 / 675
» Naturalistic Decision Making
Sort
View
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
16 years 1 months ago
Integrating observability don't cares in all-solution SAT solvers
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler
ISPASS
2006
IEEE
16 years 1 months ago
Workload sanitation for performance evaluation
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
Dror G. Feitelson, Dan Tsafrir
ISSRE
2006
IEEE
16 years 1 months ago
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
Nachiappan Nagappan, Thomas Ball, Brendan Murphy
QEST
2006
IEEE
16 years 1 months ago
Compositional Performability Evaluation for STATEMATE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
Eckard Böde, Marc Herbstritt, Holger Hermanns...
QEST
2006
IEEE
16 years 1 months ago
Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers
Size-based policies have been known to successfully balance load and improve performance in homogeneous cluster environments where a dispatcher assigns a job to a server strictly ...
Ningfang Mi, Qi Zhang, Alma Riska, Evgenia Smirni