Sciweavers

2252 search results - page 306 / 451
» Lower Bounds for Dynamic Algorithms
Sort
View
137
Voted
KI
2008
Springer
15 years 3 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
130
Voted
COMCOM
2004
110views more  COMCOM 2004»
15 years 3 months ago
On the latency and fairness characteristics of pre-order deficit round Robin
In the emerging high-speed packet-switched networks, fair packet scheduling algorithms in switches and routers will form an important component of the mechanisms that seek to sati...
Salil S. Kanhere, Harish Sethu
ICPADS
2005
IEEE
15 years 9 months ago
Minimizing Energy via Loop Scheduling and DVS for Multi-Core Embedded Systems
Low energy consumptions are extremely important in real-time embedded systems, and scheduling is one of the techniques used to obtain lower energy consumptions. In this paper, we ...
Ying Chen, Zili Shao, Qingfeng Zhuge, Chun Xue, Bi...
STOC
2009
ACM
137views Algorithms» more  STOC 2009»
16 years 4 months ago
Mixing time for the solid-on-solid model
We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-onsolid model of statistical physics. This model has been proposed...
Fabio Martinelli, Alistair Sinclair
166
Voted
ICCAD
2001
IEEE
167views Hardware» more  ICCAD 2001»
16 years 10 days ago
Energy Efficient Real-Time Scheduling
- Real-time scheduling on processors that support dynamic voltage and frequency scaling is analyzed. The Slacked Earliest Deadling First (SEDF) algorithm is proposed and it is show...
Amit Sinha, Anantha Chandrakasan