7557 search results - page 43 / 1512 » Modeling Timed Concurrent Systems |
129
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
109
click to vote
KDD
1995
ACM
15 years 4 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
144
click to vote
DAC
2000
ACM
16 years 2 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
105
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
148
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...