2419 search results - page 412 / 484 » A Formal Approach to Software Testing |
WOSP
2010
ACM
14 years 3 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
TCIAIG
2010
13 years 2 months ago
2010
In this paper, we applied online neuroevolution to evolve nonplayer characters for The Open Racing Car Simulator (TORCS). While previous approaches allowed online learning with per...
BMCBI
2006
13 years 8 months ago
2006
Background: DNA sequence polymorphisms analysis can provide valuable information on the evolutionary forces shaping nucleotide variation, and provides an insight into the function...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...