{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:26:27Z","timestamp":1729671987850,"version":"3.28.0"},"reference-count":51,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797744","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:54:22Z","timestamp":1483048462000},"page":"43-53","source":"Crossref","is-referenced-by-count":7,"title":["Verifying the concentration property of permutation networks by BDDs"],"prefix":"10.1109","author":[{"given":"Tripti","family":"Jain","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ISIEA.2009.5356460"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2005.1464520"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/12.509917"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/71.285603"},{"key":"ref31","first-page":"307","article-title":"Sorting networks and their applications","volume":"32","author":"batcher","year":"1968","journal-title":"AFIPS Spring Joint Computer Conference"},{"key":"ref30","first-page":"35","author":"blelloch","year":"1990","journal-title":"Synthesis of Parallel Algorithms"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/26.681404"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/90.365439"},{"key":"ref35","first-page":"314","article-title":"A new distributor structure based on CSEs with application to virtual FIFO queue","volume":"1","author":"lee","year":"1994","journal-title":"Global Telecommunications Conference (GLOBECOM)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626492000337"},{"key":"ref28","first-page":"412","article-title":"On the rearrangeability of (2 log(N)-1) stage permutation networks","volume":"34","author":"lee","year":"1985","journal-title":"IEEE Transactions on Computers (T-C)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/26.135714"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/26.380230"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1979.tb02972.x"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0206022"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90040-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/49.12873"},{"key":"ref24","first-page":"307","article-title":"Advances in switching networks","author":"ngo","year":"2000","journal-title":"Switching Networks Recent Advances"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579166"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/26.7538"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1109\/71.342124","article-title":"Efficient nonblocking switching networks for interprocessor communications in multiprocessor systems","volume":"6","author":"chien","year":"1995","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"ref50","first-page":"694","article-title":"On a class of multistage interconnection networks","volume":"29","author":"wu","year":"1980","journal-title":"IEEE Transactions on Computers (T-C)"},{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"ref51"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/26.328986"},{"journal-title":"Verbindungsnetze - Strukturen und Eigenschaften","year":"1996","author":"schwederski","key":"ref11"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.29"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322329"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(90)90023-I"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.1109\/12.260636","article-title":"Fast self-routing permutation switching on an asymptotically minimum cost network","volume":"42","author":"jan","year":"1993","journal-title":"IEEE Transactions on Computers"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.1994.580197"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1109\/26.380083","article-title":"Design of efficient and easily routable generalized connectors","volume":"43","author":"lee","year":"1995","journal-title":"IEEE Transactions on Communications"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/12.372036"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2016.7533894"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167195"},{"key":"ref3","first-page":"42","article-title":"Superconcen-trators, generalizers and generalized connectors with limited depth","author":"dolev","year":"1983","journal-title":"Symposium on Theory of Computing (STOC)"},{"journal-title":"The Design and Analysis of Computer Algorithms","year":"1974","author":"aho","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0005"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1979.1658777"},{"key":"ref7","first-page":"318:1","article-title":"On the complexity of a concentrator","author":"pinsker","year":"1973","journal-title":"International Teletraffic Conference (ITC)"},{"key":"ref49","first-page":"557","article-title":"Rearrangeability of (2n-1)-stage shuffle-exchange networks","volume":"32","author":"cam","year":"2003","journal-title":"SIAM J Control Optim (SICON)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1992.242705"},{"journal-title":"Mathematical Theory of Connecting Networks and Telephone Traffic","year":"1965","author":"bene\u0161","key":"ref46"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147517"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.11.068"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675960"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/12.660174"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/IPPS.1993.262917"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675941"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.145"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797744.pdf?arnumber=7797744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T02:15:43Z","timestamp":1568686543000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797744\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797744","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}