523 search results - page 89 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
SIGGRAPH
1998
ACM
14 years 21 days ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
ISCA
2009
IEEE
14 years 3 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...