2905 search results - page 318 / 581 » Formal Memetic Algorithms |
176
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
186
click to vote
LCPC
2005
Springer
16 years 4 days ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
176
click to vote
PADL
2005
Springer
16 years 4 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
166
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
137
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...