1420 search results - page 156 / 284 » A Framework for Scheduler Synthesis |
170
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
157
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Fueled by the competing DSL and Cable technologies, residential broadband access has seen a significant spread in availability to the point that many users have a choi...
196
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
173
click to vote
ICMCS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents a novel fuzzy stochastic Kalman filter for compression of digital images. In particular, it is shown that the state evolution of the synthesis coefficients of ...