1452 search results - page 208 / 291 » Algorithmic Analysis of Array-Accessing Programs |
160
Voted
FOGA
2011
14 years 4 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
111
Voted
ISPAN
2000
IEEE
15 years 5 months ago
2000
IEEE
We present new architectural concepts for uniprocessor designs that conform to the data-driven computation paradigm. Usage of our D2 -CPU (Data-Driven processor) follows the natura...
113
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
104
click to vote
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
103
Voted
ICFP
2002
ACM
16 years 22 days ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...