1254 search results - page 174 / 251 » A graphical computer simulator for systems programming cours... |
86
Voted
CF
2005
ACM
15 years 4 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
120
click to vote
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
TOG
2008
14 years 10 months ago
2008
Fluid simulation is one of the most active research areas in computer graphics. However, it remains difficult to obtain measurements of real fluid flows for validation of the simu...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...