Sciweavers

1713 search results - page 118 / 343
» Analysis of Procedure Splitability
Sort
View
DAC
2003
ACM
14 years 11 months ago
Checking satisfiability of a conjunction of BDDs
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
Robert F. Damiano, James H. Kukula
ACSC
2006
IEEE
14 years 4 months ago
Segregated failures model for availability evaluation of fault-tolerant systems
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...
ICMCS
2006
IEEE
105views Multimedia» more  ICMCS 2006»
14 years 4 months ago
A Pattern-Search Method for H.264/AVC CAVLC Decoding
In this paper, a new implementation method is proposed for Context-Adaptive Variable Length Coding (CAVLC) used in H.264 Baseline Profile. We analyze the correlation between bit p...
Shau-Yin Tseng, Tien-Wei Hsieh
ACCV
2006
Springer
14 years 4 months ago
Pseudo Measurement Based Multiple Model Approach for Robust Player Tracking
This paper presents a robust player tracking method for sports video analysis. In order to track agile player stably and robustly, we employ multiple models method, with a mean shi...
Xiaopin Zhong, Nanning Zheng, Jianru Xue
IPPS
2003
IEEE
14 years 4 months ago
Founding FireWire Bridges through Promela Prototyping
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
Izak van Langevelde, Judi Romijn, Nicolae Goga