7557 search results - page 96 / 1512 » Modeling Timed Concurrent Systems |
152
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
253
click to vote
DATE
2011
IEEE
14 years 8 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
150
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
122
click to vote
RTCSA
2000
IEEE
15 years 7 months ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
131
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...