2607 search results - page 327 / 522 » Complete Functional Synthesis |
124
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
126
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
103
Voted
ALIFE
2010
15 years 4 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
ANOR
2010
15 years 4 months ago
2010
Abstract. We consider a continuous-time model for inventory management with Markov modulated non-stationary demands. We introduce active learning by assuming that the state of the ...
131
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...