7557 search results - page 575 / 1512 » Modeling Timed Concurrent Systems |
223
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
222
Voted
NGITS
1999
Springer
15 years 11 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
215
click to vote
CODES
2003
IEEE
16 years 11 days ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
181
click to vote
SFM
2004
Springer
16 years 12 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
192
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...