24421 search results - page 155 / 4885 » Communicating Complex Systems |
165
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
151
click to vote
APPROX
2009
Springer
16 years 27 days ago
2009
Springer
The AND problem on t bits is a promise decision problem where either at most one bit of the input is set to 1 (NO instance) or all t bits are set to 1 (YES instance). In this note...
128
click to vote
CDES
2006
15 years 7 months ago
2006
In this paper we define communicating distributed H systems with simple splicing rules of types (1,3), (1,4) and (2,3) and study the generative capacity. keyword: Splicing systems,...
147
click to vote
ICC
2008
IEEE
16 years 23 days ago
2008
IEEE
— This paper introduces low-complexity block codes, termed pattern-eliminating codes (PEC), which achieve a potentially large performance improvement over channels with residual ...
182
click to vote
TIME
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...