46 search results - page 2 / 10 » A Simple Test for the Consecutive Ones Property |
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ICMCS
2005
IEEE
13 years 11 months ago
2005
IEEE
MPEG-4 Advanced Simple Profile video provides I, P, and B –type frames in each GOP (Group Of Pictures). To maximize the coding efficiency, it is important to determine the distr...
SAC
2006
ACM
13 years 5 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
JANCL
2006
13 years 5 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
IMR
2003
Springer
13 years 10 months ago
2003
Springer
The 8-tetrahedra longest-edge (8T-LE) partition of any tetrahedron is defined in terms of three consecutive edge bisections, the first one performed by the longest-edge. The ass...