850 search results - page 92 / 170 » Modeling synchronous systems in BIP |
JUCS
2008
14 years 9 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
CUZA
2002
14 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
NSF
2001
Springer
15 years 2 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...