604 search results - page 75 / 121 » Advances in design and implementation of optimization softwa... |
132
Voted
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
154
Voted
TACS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
153
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
138
click to vote
EUROGP
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes how animat-based “food foraging” techniques may be applied to the design of low-level image processing algorithms. First, we show how we implemented the fo...
153
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...