2637 search results - page 19 / 528 » Tool Supported Specification and Simulation of Distributed S... |
110
Voted
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
119
Voted
WSC
2000
15 years 4 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
116
Voted
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
149
Voted
SIGCSE
1992
ACM
15 years 7 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
143
Voted
JUCS
2008
15 years 3 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...