2858 search results - page 498 / 572 » Logics with Aggregate Operators |
161
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents the hardware architecture of DynaCORE, a dynamically reconfigurable system-on-chip for network applications. DynaCORE is an application specific coprocessor ...
114
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— Quadrature Σ∆ ADCs require a feedback path for both the I and the Q part of the complex feedback signal. If two separated multibit feedback DACs are used, mismatch among the...
167
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
169
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
149
click to vote
ANCS
2006
ACM
16 years 4 days ago
2006
ACM
Clos networks are an important class of switching networks due to their modular structure and much lower cost compared with crossbars. For routing I/O permutations of Clos network...