250 search results - page 21 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
93
Voted
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
108
click to vote
ECOOP
1992
Springer
15 years 1 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
TITS
2008
14 years 9 months ago
2008
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...
85
Voted
UM
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...