945 search results - page 19 / 189 » Evolving Symbolic Controllers |
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
JILP
2002
14 years 9 months ago
2002
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
RTSS
2003
IEEE
15 years 2 months ago
2003
IEEE
120
click to vote
ISSTA
2012
ACM
13 years 3 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
98
Voted
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...