13489 search results - page 2354 / 2698 » Self-migration of operating systems |
171
click to vote
INDOCRYPT
2007
Springer
16 years 27 days ago
2007
Springer
This paper analyzes the best speeds that can be obtained for single-scalar multiplication with variable base point by combining a huge range of options: – many choices of coordin...
217
click to vote
IPSN
2007
Springer
16 years 27 days ago
2007
Springer
A Wireless Sensor Network (WSN) for Structural Health Monitoring (SHM) is designed, implemented, deployed and tested on the 4200ft long main span and the south tower of the Golden...
161
click to vote
ISSAC
2007
Springer
16 years 27 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
150
click to vote
LCPC
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes the implementation of a runtime library for asynchronous communication in the Cell BE processor. The runtime library implementation provides with several servi...
199
click to vote
LFCS
2007
Springer
16 years 27 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...