2976 search results - page 181 / 596 » On the bounded integer programming |
196
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a new form of Genetic Programming called Cartesian Genetic Programming in which a program is represented as an indexed graph. The graph is encoded in the form o...
207
click to vote
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
The stream processing characteristics of many embedded system applications in multimedia and networking domains have led to the advent of stream based programming formats. Several ...
194
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
171
click to vote
HPCA
1995
IEEE
15 years 10 months ago
1995
IEEE
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...
175
click to vote
MEMOCODE
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...