3742 search results - page 126 / 749 » On the Use of Formal Techniques for Validation |
156
click to vote
AISB
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
179
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
193
click to vote
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
159
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
172
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...