4298 search results - page 437 / 860 » Measurable chromatic numbers |
217
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
143
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
184
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
The explosive growth of information technology and digital content industry stimulates various video applications over the Internet. Since it is quite easy to copy, reformat, modif...
184
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
178
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...