7557 search results - page 117 / 1512 » Modeling Timed Concurrent Systems |
120
click to vote
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
113
click to vote
ICFEM
2010
Springer
15 years 2 days ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
136
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
148
click to vote
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
118
click to vote
ECRTS
2003
IEEE
15 years 6 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...