5180 search results - page 314 / 1036 » Concurrency, Time, and Constraints |
200
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper focuses on designing a distributed medium access control algorithm that aims at achieving time fairness among contending stations and throughput maximization ...
198
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—In this paper we propose the method of task merging and idle period clustering for dynamic power management (DPM) in a real-time system with multiple processing elements. We sho...
183
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
231
click to vote
RSP
2005
IEEE
16 years 11 days ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
153
Voted
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...