Sciweavers

78 search results - page 12 / 16
» Unsatisfiable Systems of Equations, Over a Finite Field
Sort
View
CVPR
2007
IEEE
14 years 9 months ago
A Lagrangian Particle Dynamics Approach for Crowd Flow Segmentation and Stability Analysis
This paper proposes a framework in which Lagrangian Particle Dynamics is used for the segmentation of high density crowd flows and detection of flow instabilities. For this purpos...
Saad Ali, Mubarak Shah
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DAGSTUHL
2006
13 years 8 months ago
Adaptive Triangular System Solving
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
Jean-Guillaume Dumas, Clément Pernet, Jean-...
CHES
2000
Springer
167views Cryptology» more  CHES 2000»
13 years 11 months ago
A High Performance Reconfigurable Elliptic Curve Processor for GF(2m)
This work proposes a processor architecture for elliptic curves cryptosystems over fields GF(2m ). This is a scalable architecture in terms of area and speed that exploits the abil...
Gerardo Orlando, Christof Paar
ADG
1998
Springer
127views Mathematics» more  ADG 1998»
13 years 11 months ago
Decomposing Algebraic Varieties
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
Dongming Wang