4722 search results - page 275 / 945 » Representation-independent program analysis |
159
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
178
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
190
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
174
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
145
click to vote
TSE
2002
15 years 6 months ago
2002
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...