850 search results - page 62 / 170 » Modeling synchronous systems in BIP |
109
click to vote
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
96
Voted
JSS
2006
15 years 17 days ago
2006
We present a tool and a methodology for estimating the memory storage requirement for synchronous real-time video processing systems. Typically, a designer will use the feedback i...
108
Voted
ICSE
1998
IEEE-ACM
15 years 4 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
115
click to vote
ICECCS
1998
IEEE
15 years 4 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
173
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...