Sciweavers

1922 search results - page 144 / 385
» Systems biology, models, and concurrency
Sort
View
MEMBRANE
2007
Springer
15 years 7 months ago
Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P
In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical...
Niall Murphy, Damien Woods
ATAL
2004
Springer
15 years 7 months ago
About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
Yaneer Bar-Yam
105
Voted
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 8 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
92
Voted
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
15 years 6 months ago
Design of a digital reaction-diffusion system for restoring blurred fingerprint images
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
Koichi Ito, Takafumi Aoki, Tatsuo Higuchi
94
Voted
PE
2006
Springer
130views Optimization» more  PE 2006»
15 years 1 months ago
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
Rossano Gaeta, Marco Gribaudo, Daniele Manini, Mat...