2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 2016
DOI: 10.1109/memcod.2016.7797744
|View full text |Cite
|
Sign up to set email alerts
|

Verifying the concentration property of permutation networks by BDDs

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2017
2017
2023
2023

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(1 citation statement)
references
References 38 publications
0
1
0
Order By: Relevance
“…It is a very mature technology [18], widely used for data concentration in telecommunications and data processing systems [19,20]. However, the data concentration in those applications aims to transmit the data via reduced channels [21] and differs from the data concentration in DAQ described earlier. Therefore, the problem studied in [15] and this paper is not a proposal of a new interconnection network but adopting the well-known network architecture for that specific task and proving its correctness.…”
Section: Introductionmentioning
confidence: 99%
“…It is a very mature technology [18], widely used for data concentration in telecommunications and data processing systems [19,20]. However, the data concentration in those applications aims to transmit the data via reduced channels [21] and differs from the data concentration in DAQ described earlier. Therefore, the problem studied in [15] and this paper is not a proposal of a new interconnection network but adopting the well-known network architecture for that specific task and proving its correctness.…”
Section: Introductionmentioning
confidence: 99%