3575 search results - page 106 / 715 » Presentations of computably enumerable reals |
173
click to vote
VLSID
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper presents Frame Based Fair Multiprocessor Scheduler (FBFMS) which provides accurate real-time proportional fair scheduling for a set of dynamic tasks on a symmetric mult...
183
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
189
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
169
click to vote
GRAPHITE
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we present an algorithm to automatically produce artistic drawings from stereo image pairs. The input to the algorithm is a natural scene, along with a user-defined...
168
click to vote
ICIAR
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...