7557 search results - page 606 / 1512 » Modeling Timed Concurrent Systems |
228
click to vote
IJCAI
2001
15 years 8 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
164
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers a...
180
click to vote
ICDCS
2005
IEEE
16 years 21 days ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
154
click to vote
ILP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
164
click to vote
CCGRID
2002
IEEE
16 years 2 days ago
2002
IEEE
Malleable jobs are parallel programs that can change the number of processors on which they are executing at run time in response to an external command. One of the advantages of ...