1291 search results - page 105 / 259 » Arithmetic program paths |
113
Voted
ENTCS
2010
15 years 26 days ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
102
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
In this workshop session, three speakers present their viewpoints and contributions to the topic of portable parallel programming languages. They are Dennis Gannon from Indiana Un...
103
click to vote
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
119
click to vote
WSC
2008
15 years 3 months ago
2008
Discrete-event dynamic systems with feedback, where the behavior of the system depends on the system state, are difficult to model due to the uncertainties and dependencies of sys...