6274 search results - page 573 / 1255 » Proofs, Programs, Processes |
208
click to vote
ISSRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
224
click to vote
IJIT
2004
15 years 8 months ago
2004
One of the major problems in genomic field is to perform sequence comparison on DNA and protein sequences. Executing sequence comparison on the DNA and protein data is a computatio...
217
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
216
click to vote
TSE
1998
15 years 7 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
185
click to vote
IISWC
2009
IEEE
16 years 2 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...