1322 search results - page 91 / 265 » Parameterized counting problems |
146
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Soft-core programmable processors on field-programmable gate arrays (FPGAs) can be custom synthesized to instantiate only those hardware units, such as multipliers and floating-po...
147
click to vote
DT
2002
15 years 6 months ago
2002
This article presents an in-circuit emulation (ICE) module that can be embedded with a microprocessr core. The ICE module, based on the IEEE 1149.1 JTAG architecture, supports typ...
190
click to vote
SODA
2010
ACM
15 years 4 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
181
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
170
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...