911 search results - page 70 / 183 » Combining programs and state machines |
117
click to vote
TLDI
2009
ACM
16 years 14 days ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
133
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
143
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
Recently, the high-performance computing community has realized that power is a performance-limiting factor. One reason for this is that supercomputing centers have limited power ...
150
Voted
LCPC
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...
121
Voted
AAAI
1994
15 years 4 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...