850 search results - page 76 / 170 » Modeling synchronous systems in BIP |
110
click to vote
NECO
2000
15 years 1 months ago
2000
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
125
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
116
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
116
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
130
click to vote
FCT
1999
Springer
15 years 5 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...