3330 search results - page 511 / 666 » software 2010 |
120
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
160
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
141
click to vote
WWW
2010
ACM
16 years 2 days ago
2010
ACM
Dynamic resource provisioning aims at maintaining the endto-end response time of a web application within a predefined SLA. Although the topic has been well studied for monolithi...
131
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
134
Voted
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...