2663 search results - page 87 / 533 » How to Choose a Timing Model |
144
Voted
SIGMETRICS
1998
ACM
15 years 9 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
129
Voted
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
143
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
127
click to vote
AAAI
2007
15 years 7 months ago
2007
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
183
Voted
WSC
2007
15 years 7 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...