Sciweavers

2485 search results - page 73 / 497
» Time Bounded Frequency Computations
Sort
View
RTSS
2006
IEEE
15 years 10 months ago
Tightening the Bounds on Feasible Preemption Points
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...
Harini Ramaprasad, Frank Mueller
CGI
1999
IEEE
15 years 8 months ago
Time Warping of Audio Signals
This paper describes a technique to obtain a time dilation or contraction of an audio signal. Different Computer Graphics applications can take advantage of this technique. In rea...
Siome Goldenstein, Jonas Gomes
ENTCS
2006
137views more  ENTCS 2006»
15 years 4 months ago
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
Morgan Magnin, Didier Lime, Olivier H. Roux
ANTS
2004
Springer
233views Algorithms» more  ANTS 2004»
15 years 10 months ago
Computing Order Statistics in the Farey Sequence
We study the problem of computing the k-th term of the Farey sequence of order n, for given n and k. Several methods for generating the entire Farey sequence are known. However, th...
Corina E. Patrascu, Mihai Patrascu
RTCSA
2008
IEEE
15 years 11 months ago
A Framework for Designing Embedded Real-Time Controllers
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
Yifan Wu, Enrico Bini, Giorgio C. Buttazzo