12333 search results - page 494 / 2467 » System Level Modelling for Hardware Software Systems |
182
click to vote
APSEC
2005
IEEE
16 years 17 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
174
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
150
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
162
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
198
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...