Sciweavers

13271 search results - page 405 / 2655
» Computers, Programming, and People
Sort
View
ACMSE
2010
ACM
15 years 4 months ago
Generating three binary addition algorithms using reinforcement programming
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...
Spencer K. White, Tony R. Martinez, George L. Rudo...
PPOPP
2003
ACM
16 years 1 days ago
Automated application-level checkpointing of MPI programs
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...
Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...
GCC
2006
Springer
15 years 10 months ago
Grid Programming Environment over ChinaGrid Support Platform
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...
Feng He, Yongwei Wu, Guangwen Yang, Sikan Chen, Li...
IJCAI
1989
15 years 8 months ago
Simulating Student Programmers
A cognitive model of student programmers is presented. The model is based on protocol studies of students writing Pascal programs, and is implemented in a computer simulation prog...
James C. Spohrer, Elliot Soloway
ICLP
2009
Springer
16 years 7 months ago
Answer Set Programming with Constraints Using Lazy Grounding
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
Agostino Dovier, Alessandro Dal Palù, Enric...