Sciweavers

1920 search results - page 6 / 384
» The Range Constraint: Algorithms and Implementation
Sort
View
RECONFIG
2008
IEEE
268views VLSI» more  RECONFIG 2008»
15 years 4 months ago
Parametric, Secure and Compact Implementation of RSA on FPGA
1 We present a fast, efficient, and parameterized modular multiplier and a secure exponentiation circuit especially intended for FPGAs on the low end of the price range. The desig...
Ersin Oksuzoglu, Erkay Savas
FLOPS
2008
Springer
14 years 11 months ago
Integrating Answer Set Reasoning with Constraint Solving Techniques
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
Veena S. Mellarkod, Michael Gelfond
VTC
2006
IEEE
223views Communications» more  VTC 2006»
15 years 3 months ago
A Range-Free Localization Algorithm for Wireless Sensor Networks
Distributed localization in wireless sensor networks has attracted significant interest in recent years. In this paper, we propose two improvements towards the DV-Hop algorithm: th...
Qiqian Huang, S. Selvakennedy
CARDIS
2008
Springer
153views Hardware» more  CARDIS 2008»
14 years 11 months ago
Ultra-Lightweight Implementations for Smart Devices - Security for 1000 Gate Equivalents
In recent years more and more security sensitive applications use passive smart devices such as contactless smart cards and RFID tags. Cost constraints imply a small hardware footp...
Carsten Rolfes, Axel Poschmann, Gregor Leander, Ch...
POPL
2007
ACM
15 years 10 months ago
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
Edmund S. L. Lam, Martin Sulzmann