7557 search results - page 13 / 1512 » Modeling Timed Concurrent Systems |
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
Thrashing in transactionprocessingsystemscan be prevented by controlling the number of concurrently running transactions. Becausethe optimal concurrency level strongly dependson t...
124
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
108
click to vote
RTSS
2007
IEEE
15 years 7 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...
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...