Sciweavers

16844 search results - page 388 / 3369
» How to Design Programs
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
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...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Mental models and parallel program maintenance
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
Caitlin Sadowski
185
Voted
EUROGP
2000
Springer
107views Optimization» more  EUROGP 2000»
15 years 10 months ago
Using Factorial Experiments to Evaluate the Effect of Genetic Programming Parameters
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
Robert Feldt, Peter Nordin
PEPM
2009
ACM
16 years 3 months ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning