Sciweavers

4306 search results - page 308 / 862
» Timed Testing with TorX
Sort
View
PCM
2004
Springer
146views Multimedia» more  PCM 2004»
15 years 8 months ago
Optimum End-to-End Distortion Estimation for Error Resilient Video Coding
End-to-end distortion estimation plays an important role in error-resilient video coding. The intuitive method is to simulate the decoding process many times at the encoder, as use...
Yuan Zhang, Qingming Huang, Yan Lu, Wen Gao
TCS
2010
15 years 1 months ago
Canonical finite state machines for distributed systems
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
Robert M. Hierons
RTCSA
2003
IEEE
15 years 8 months ago
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
Minsoo Ryu, Seongsoo Hong
ISESE
2006
IEEE
15 years 9 months ago
Evaluating the efficacy of test-driven development: industrial case studies
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
Thirumalesh Bhat, Nachiappan Nagappan
CSR
2009
Springer
15 years 9 months ago
On the Complexity of Matroid Isomorphism Problems
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in Σp 2 . In the case of linear matroids, which are represented over poly...
B. V. Raghavendra Rao, Jayalal M. N. Sarma