142 search results - page 15 / 29 » Extended Weighted Pushdown Systems |
SIGMETRICS
1992
ACM
14 years 19 days ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
INTEGRATION
2008
13 years 8 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
TIFS
2008
13 years 8 months ago
2008
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...