Sciweavers

118 search results - page 8 / 24
» A Generalized Version of the McMullen Domain
Sort
View
SASO
2009
IEEE
15 years 4 months ago
Teleological Software Adaptation
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
Joshua Jones, Chris Parnin, Avik Sinharoy, Spencer...
EUROGP
2010
Springer
217views Optimization» more  EUROGP 2010»
15 years 4 months ago
Evolving Genes to Balance a Pole
We discuss how to use a Genetic Regulatory Network as an evolutionary representation to solve a typical GP reinforcement problem, the pole balancing. The network is a modified ver...
Miguel Nicolau, Marc Schoenauer, Wolfgang Banzhaf
ICSE
2008
IEEE-ACM
15 years 11 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
86
Voted
SAC
2006
ACM
15 years 4 months ago
Operating system multilevel load balancing
This paper describes an algorithm that allows Linux to perform multilevel load balancing in NUMA computers. The Linux scheduler implements a load balancing algorithm that uses str...
Mônica Corrêa, Avelino Francisco Zorzo...
ISSRE
2003
IEEE
15 years 3 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...