19700 search results - page 179 / 3940 » DNA-Based Computation Times |
170
click to vote
ENTCS
2006
15 years 5 months ago
2006
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...
177
click to vote
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. In an embedded multiprocessor system the minimum throughput and maximum latency of real-time applications are usually derived given the worst-case execution time of the s...
154
click to vote
ANTS
2004
Springer
15 years 10 months ago
2004
Springer
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...
190
click to vote
WADS
2009
Springer
15 years 9 months ago
2009
Springer
In a paper that considered arithmetic precision as a limited resource in the design and analysis of algorithms, Liotta, Preparata and Tamassia defined an “implicit Voronoi diagr...
142
click to vote
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
This paper studies a number of hash-based join algorithms for general purpose multiprocessor computers with shared memory where the amount of memory allocated to the join operatio...