604 search results - page 75 / 121 » Advances in design and implementation of optimization softwa... |
KBSE
2003
IEEE
15 years 3 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...
TACS
1997
Springer
15 years 1 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...
CCS
2009
ACM
15 years 10 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...
EUROGP
2001
Springer
15 years 2 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...
GECCO
2010
Springer
15 years 2 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...