Sciweavers

10909 search results - page 221 / 2182
» Evaluating Backup Algorithms
Sort
View
DAC
2008
ACM
16 years 5 months ago
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
Yan Chen, Fei Xie, Jin Yang
ASAP
2007
IEEE
107views Hardware» more  ASAP 2007»
15 years 11 months ago
A Hardware-Oriented Method for Evaluating Complex Polynomials
A hardware-oriented method for evaluating complex polynomials by solving iteratively a system of linear equations is proposed. Its implementation uses a digit-serial iterations on...
Milos D. Ercegovac, Jean-Michel Muller
ICEBE
2007
IEEE
182views Business» more  ICEBE 2007»
15 years 10 months ago
Service-Oriented Business Process Modeling and Performance Evaluation based on AHP and Simulation
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...
Sen Zeng, Shuangxi Huang, Yushun Fan
INFOCOM
2007
IEEE
15 years 10 months ago
Empirical Evaluation of Techniques for Measuring Available Bandwidth
Abstract— The ability to measure end-to-end Available Bandwidth (AB) on a network path is useful in several domains, including overlay-routing infrastructure, network monitoring,...
Alok Shriram, Jasleen Kaur
CLEAR
2007
Springer
154views Biometrics» more  CLEAR 2007»
15 years 10 months ago
Tsinghua Face Detection and Tracking for CLEAR 2007 Evaluation
This paper presents the algorithm and evaluation results of a face detection and tracking system. A tree-structured multi-view face detector trained by Vector Boosting is used as t...
Yuan Li, Chang Huang, Haizhou Ai