Sciweavers

5164 search results - page 553 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
ICDCS
1992
IEEE
15 years 11 months ago
End-to-End Scheduling to Meet Deadlines in Distributed Systems
In a distributed system or communication network tasks may need to be executed on more than one processor. For time-critical tasks, the timing constraints are typically given as e...
Riccardo Bettati, Jane W.-S. Liu
WDAG
1994
Springer
104views Algorithms» more  WDAG 1994»
15 years 11 months ago
Fast Increment Registers
We give an optimal, wait-free implementation of an increment register. An increment register is a concurrent object consisting of an integer-valued register with an increment oper...
Soma Chaudhuri, Mark R. Tuttle
VLDB
1992
ACM
105views Database» more  VLDB 1992»
15 years 11 months ago
Multiversion Query Locking
Multiversion two-phase locking (MV2PL) has been incorporated in some commercial transaction processing systems to support the serializable execution of queries. A drawback to this...
Paul M. Bober, Michael J. Carey
AAIM
2010
Springer
165views Algorithms» more  AAIM 2010»
15 years 11 months ago
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction
Abstract. This paper presents an iterative, highly parallelizable approach to find good tours for very large instances of the Euclidian version of the well-known Traveling Salesma...
Christian Ernst, Changxing Dong, Gerold Jäger...
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 11 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti