2681 search results - page 152 / 537 » Topics in asynchronous systems |
140
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a bandwidth allocation scheme for networked control systems that have their control loops closed over a geographically distributed network. We first for...
134
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
125
Voted
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
105
Voted
ENTCS
2008
15 years 4 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...