Sciweavers

882 search results - page 37 / 177
» Improving the Efficiency of Workflow Analysis
Sort
View
APSEC
1999
IEEE
15 years 2 months ago
Slicing Methods Using Static and Dynamic Analysis Information
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 2 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
CVPR
2009
IEEE
15 years 1 months ago
Efficiently training a better visual detector with sparse eigenvectors
Face detection plays an important role in many vision applications. Since Viola and Jones [1] proposed the first real-time AdaBoost based object detection system, much effort has ...
Sakrapee Paisitkriangkrai, Chunhua Shen, Jian Zhan...
RECOMB
2009
Springer
15 years 10 months ago
COE: A General Approach for Efficient Genome-Wide Two-Locus Epistasis Test in Disease Association Study
The availability of high density single nucleotide polymorphisms (SNPs) data has made genome-wide association study computationally challenging. Twolocus epistasis (gene-gene inter...
Xiang Zhang, Feng Pan, Yuying Xie, Fei Zou, Wei Wa...
CCGRID
2006
IEEE
15 years 3 months ago
WS-Messenger: A Web Services-Based Messaging System for Service-Oriented Grid Computing
—A Web services-based publish/subscribe system has the potential to create an Internet scale interoperable event notification system which is important for Grid computing as it e...
Yi Huang, Aleksander Slominski, Chathura Herath, D...