2231 search results - page 335 / 447 » Alternation as a programming paradigm |
190
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...
172
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
168
click to vote
ECLIPSE
2006
ACM
16 years 25 days ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
209
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
156
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...