Sciweavers

13306 search results - page 2413 / 2662
» Theoretical Computer Science
Sort
View
CPHYSICS
2008
96views more  CPHYSICS 2008»
15 years 7 months ago
Moment distributions of clusters and molecules in the adiabatic rotor model
We present a Fortran program to compute the distribution of dipole moments of free particles for use in analyzing molecular beams experiments that measure moments by deflection in...
G. E. Ballentine, G. F. Bertsch, N. Onishi, K. Yab...
INTEGRATION
2007
100views more  INTEGRATION 2007»
15 years 7 months ago
A fast pipelined multi-mode DES architecture operating in IP representation
The Data Encryption Standard (DES) is a cipher that is still used in a broad range of applications, from smartcards, where it is often implemented as a tamperresistant embedded co...
Sylvain Guilley, Philippe Hoogvorst, Renaud Pacale...
COMPUTER
2004
179views more  COMPUTER 2004»
15 years 7 months ago
Environmental Sensor Networks
Environmental Sensor Networks (ESNs) facilitate the study of fundamental processes and the development of hazard response systems. They have evolved from passive logging systems t...
Kirk Martinez, Jane K. Hart, Royan Ong
229
Voted
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 5 months ago
Enumerative Algorithms for the Shortest and Closest Lattice Vector Problems in Any Norm via M-Ellipsoid Coverings
We give an algorithm for solving the exact Shortest Vector Problem in n-dimensional lattices, in any norm, in deterministic 2O(n) time (and space), given poly(n)-sized advice that...
Daniel Dadush, Chris Peikert, Santosh Vempala
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
« Prev « First page 2413 / 2662 Last » Next »