32 search results - page 4 / 7 » Formulae for Performance Optimization and Their Applications... |
DAC
2001
ACM
14 years 6 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
ISCAS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper a 173-bit type II ONB ECC processor Section II introduces the mathematical backgrounds for for inductive RFID applications is described. Compared with curve operation...
SIGMETRICS
2008
ACM
13 years 5 months ago
2008
ACM
Several peer-to-peer systems for live streaming have been recently deployed (e.g. CoolStreaming, PPLive, SopCast). These all rely on distributed, epidemic-style dissemination mech...
PADL
2012
Springer
12 years 1 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
Filter bank optimization for specific input statistics has been of great interest in both theory and practice in many signal processing applications. In this paper we consider bi...