581 search results - page 54 / 117 » Parallel Functional Reactive Programming |
109
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
140
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
105
click to vote
ISCAPDCS
2003
15 years 3 months ago
2003
This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...
138
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
188
click to vote
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...