962 search results - page 27 / 193 » Some Reducibilities on Regular Sets |
HPCA
2009
IEEE
14 years 8 months ago
2009
IEEE
Inductive noise forces microprocessor designers to sacrifice performance in order to ensure correct and reliable operation of their designs. The possibility of wide fluctuations i...
ISCC
2005
IEEE
14 years 1 months ago
2005
IEEE
IP multicast was first proposed to improve the performance of applications that require group communications. Still, many years after its initial proposal, IP multicast is not wi...
FOSSACS
2001
Springer
14 years 4 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
ICC
2011
IEEE
12 years 7 months ago
2011
IEEE
— This paper focuses on controlling absorbing sets for a class of regular LDPC codes, known as separable, circulantbased (SCB) codes. For a specified circulant matrix, SCB codes...