15840 search results - page 2794 / 3168 » The Control of Synchronous Systems |
201
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
238
click to vote
ECBS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
218
click to vote
ECP
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
156
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
This paper explores user authentication schemes for banking systems implemented over mobile phone networks in the developing world. We analyze an authentication scheme currently d...
192
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...