1204 search results - page 135 / 241 » Termination of Polynomial Programs |
144
click to vote
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
94
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like chec...
93
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
108
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...