1420 search results - page 199 / 284 » A Framework for Scheduler Synthesis |
144
click to vote
FMSD
1998
15 years 5 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
158
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...
238
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
This paper analyzes the performance of concurrent (index) scan operations in both record (NSM/PAX) and column (DSM) disk storage models and shows that existing scheduling policies...
176
click to vote
INFOCOM
2009
IEEE
16 years 24 days ago
2009
IEEE
—Wireless networks are increasingly used to carry applications with QoS constraints. Two problems arise when dealing with traffic with QoS constraints. One is admission control,...
135
click to vote
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—In modern DSL networks, crosstalk among different lines (i.e., users) is the major source of performance degradation. Dynamic Spectrum Management (DSM) refers to a set o...