949 search results - page 43 / 190 » Programmed Mutagenesis Is Universal |
130
click to vote
STOC
1991
ACM
15 years 8 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
161
click to vote
IQ
2000
15 years 5 months ago
2000
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...
197
click to vote
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
151
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
ducational Resources Information Center) the on-line education abstracts, show 15,000 entries under "computers and education" since 1992. Adoption of some level of inform...
123
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...