1922 search results - page 299 / 385 » Systems biology, models, and concurrency |
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we propose an agent-based model of evolutionary algorithms (EAs) which extends seamlessly from concurrent single-host to distributed multi-host installations. Since ...
105
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
122
Voted
JSW
2008
15 years 24 days ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
114
Voted
AC
2002
Springer
15 years 21 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
99
Voted
ENTCS
2002
15 years 19 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...