Sciweavers

3454 search results - page 394 / 691
» Modern computer algebra
Sort
View
CHES
2010
Springer
132views Cryptology» more  CHES 2010»
15 years 7 months ago
Efficient Techniques for High-Speed Elliptic Curve Cryptography
In this paper, a thorough bottom-up optimization process (field, point and scalar arithmetic) is used to speed up the computation of elliptic curve point multiplication and report ...
Patrick Longa, Catherine H. Gebotys
DM
2006
92views more  DM 2006»
15 years 6 months ago
Minimal triangulations of graphs: A survey
Any given graph can be embedded in a chordal graph by adding edges, and the resulting chordal graph is called a triangulation of the input graph. In this paper we study minimal tr...
Pinar Heggernes
JCB
2008
102views more  JCB 2008»
15 years 6 months ago
DUPCAR: Reconstructing Contiguous Ancestral Regions with Duplications
Accurately reconstructing the large-scale gene order in an ancestral genome is a critical step to better understand genome evolution. In this paper, we propose a heuristic algorit...
Jian Ma, Aakrosh Ratan, Brian J. Raney, Bernard B....
JSAT
2008
85views more  JSAT 2008»
15 years 6 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
STTT
2008
134views more  STTT 2008»
15 years 6 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan