9626 search results - page 122 / 1926 » Invariant Based Programming |
160
click to vote
GPEM
2006
15 years 5 months ago
2006
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
130
click to vote
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
: This paper presents the design of a neurocontroller for a turbogenerator that augments/replaces the conventional Automatic Voltage Regulator (AVR) and the turbine governor. The n...
185
Voted
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
129
click to vote
ISCA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present Program Demultiplexing (PD), an execution paradigm that creates concurrency in sequential programs by "demultiplexing" methods (functions or subroutines). Cal...
151
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...