4880 search results - page 615 / 976 » Manuals as Structured Programs |
173
click to vote
LISP
2008
15 years 6 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
183
click to vote
TCAD
2008
15 years 6 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
132
click to vote
ISCI
2007
15 years 6 months ago
2007
Strategy planning is crucial to control a group to achieve a number of tasks in a closed area full of obstacles. In this study, genetic programming has been used to evolve rule-ba...
148
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes ongoing work on a project to simulate the behaviour of epidermal growth factor receptors. These are structures which can be found on the surface of cells in th...
195
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...