Sciweavers

816 search results - page 102 / 164
» Abstract Barycentric Algebras
Sort
View
WEBDB
1999
Springer
110views Database» more  WEBDB 1999»
14 years 1 months ago
A Framework for Navigation-Driven Lazy Mediators
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
Bertram Ludäscher, Yannis Papakonstantinou, P...
COMPGEOM
1997
ACM
14 years 1 months ago
Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
Hervé Brönnimann, Ioannis Z. Emiris, V...
APN
1994
Springer
14 years 1 months ago
On the Model of Computation of Place/Transition Petri Nets
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
José Meseguer, Ugo Montanari, Vladimiro Sas...
ICCAD
2007
IEEE
234views Hardware» more  ICCAD 2007»
14 years 26 days ago
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Abstract: Polynomial computations over fixed-size bitvectors are found in many practical datapath designs. For efficient RTL synthesis, it is important to identify good decompositi...
Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon ...
FSE
2000
Springer
96views Cryptology» more  FSE 2000»
14 years 18 days ago
On the Interpolation Attacks on Block Ciphers
Abstract. The complexity of interpolation attacks on block ciphers depends on the degree of the polynomial approximation and or on the number of terms in the polynomial approximati...
Amr M. Youssef, Guang Gong