2853 search results - page 219 / 571 » On Coherence in Computer Algebra |
238
Voted
SIAMDM
2010
15 years 5 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 ...
219
click to vote
CORR
2011
Springer
15 years 2 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...
170
click to vote
DAC
2003
ACM
16 years 8 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...
178
click to vote
ISCA
2007
IEEE
16 years 1 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...
176
click to vote
VTC
2006
IEEE
16 years 1 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...