2853 search results - page 219 / 571 » On Coherence in Computer Algebra |
171
click to vote
SIAMDM
2010
15 years 3 months ago
2010
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops ...
169
Voted
CORR
2011
Springer
14 years 12 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
128
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
128
click to vote
ISCA
2007
IEEE
15 years 11 months ago
2007
IEEE
There are two basic models for the on-chip memory in CMP systems: hardware-managed coherent caches and software-managed streaming memory. This paper performs a direct comparison o...
135
Voted
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
—The multiple-access interference (MAI) limits the performance of the DS-CDMA uplink transmission. 2 dimensional (2D) spread/chip-interleaved DS-CDMA is an MAI-free system, where...