1922 search results - page 48 / 385 » Systems biology, models, and concurrency |
117
Voted
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
103
click to vote
MOMPES
2008
IEEE
15 years 8 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
120
Voted
PAMI
2007
15 years 1 months ago
2007
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
110
click to vote
ICDCS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
130
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...