Sciweavers

858 search results - page 87 / 172
» On the Salsa20 Core Function
Sort
View
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
14 years 6 months ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
EDBT
2009
ACM
85views Database» more  EDBT 2009»
14 years 3 months ago
Recursion in XQuery: put your distributivity safety belt on
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
14 years 3 months ago
Exploiting structure in an AIG based QBF solver
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
Florian Pigorsch, Christoph Scholl
DATE
2009
IEEE
149views Hardware» more  DATE 2009»
14 years 3 months ago
An ILP formulation for task mapping and scheduling on multi-core architectures
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...
Ying Yi, Wei Han, Xin Zhao, Ahmet T. Erdogan, Tugh...
FCCM
2009
IEEE
192views VLSI» more  FCCM 2009»
14 years 3 months ago
FPGA Floating Point Datapath Compiler
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
Martin Langhammer, Tom VanCourt