Sciweavers

2882 search results - page 268 / 577
» Enhancements to the Voting Algorithm
Sort
View
CHES
2000
Springer
86views Cryptology» more  CHES 2000»
15 years 10 months ago
MiniPASS: Authentication and Digital Signatures in a Constrained Environment
Abstract. We describe an implementation of the PASS polynomial authentication and signature scheme [5, 6] that is suitable for use in highly constrained environments such as SmartC...
Jeffrey Hoffstein, Joseph H. Silverman
ATAL
1997
Springer
15 years 10 months ago
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
Michael Schroeder, Iara de Almeida Móra, Lu...
VL
1994
IEEE
121views Visual Languages» more  VL 1994»
15 years 10 months ago
Using 3D Tubes to Solve the Intersecting Line Representation Problem
In this paper we discuss 3D rendering as a solution to the line crossing problem associated with using connecting lines for illustrating relations in visual programming. The Bezie...
Lindsey L. Spratt, Allen L. Ambler
DATE
2004
IEEE
82views Hardware» more  DATE 2004»
15 years 9 months ago
Managing Don't Cares in Boolean Satisfiability
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler...
EUROCRYPT
2000
Springer
15 years 9 months ago
Analysis and Optimization of the TWINKLE Factoring Device
We describe an enhanced version of the TWINKLE factoring device and analyse to what extent it can be expected to speed up the sieving step of the Quadratic Sieve and Number Field S...
Arjen K. Lenstra, Adi Shamir