1528 search results - page 125 / 306 » Performance Assertion Checking |
113
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
JSC
2006
15 years 2 months ago
2006
We present two algorithms that can be used to check whether a given holomorphic foliation of the projective plane has an algebraic solution, and discuss the performance of their im...
106
Voted
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper, we propose a novel efficient scheme for robust video transmission over wireless channels. The schema consists of motion compensated spatio-temporal wavelet decompos...
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Sherwood and Zeger proposed a source-channel coding system where the source code is an embedded bitstream and the channel code is a product code such that each row code is a conca...
106
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...