Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip. Among them, wavelength routing can be used to route a signal to destination by univocally associating a r...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming Jg. 17; H. 5-6; S. 800 - 818 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
01.09.2017
|
| Schlagworte: | |
| ISSN: | 1471-0684, 1475-3081 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip. Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming. In this work, we detail the Answer Set Programming approach we used to solve such problem. Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains. |
|---|---|
| AbstractList | One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip. Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming. In this work, we detail the Answer Set Programming approach we used to solve such problem.
Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains. One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip. Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming. In this work, we detail the Answer Set Programming approach we used to solve such problem. Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains. |
| Author | NONATO, MADDALENA BERTOZZI, DAVIDE GAVANELLI, MARCO PEANO, ANDREA |
| Author_xml | – sequence: 1 givenname: MARCO surname: GAVANELLI fullname: GAVANELLI, MARCO email: marco.gavanelli@unife.it organization: Department of Engineering, Ferrara University, Ferrara, Italy (e-mails: marco.gavanelli@unife.it, maddalena.nonato@unife.it) – sequence: 2 givenname: MADDALENA surname: NONATO fullname: NONATO, MADDALENA email: marco.gavanelli@unife.it organization: Department of Engineering, Ferrara University, Ferrara, Italy (e-mails: marco.gavanelli@unife.it, maddalena.nonato@unife.it) – sequence: 3 givenname: ANDREA surname: PEANO fullname: PEANO, ANDREA email: andrea.peano@quantek.it organization: QuanTek, Bologna, Italy (e-mail: andrea.peano@quantek.it) – sequence: 4 givenname: DAVIDE surname: BERTOZZI fullname: BERTOZZI, DAVIDE email: davide.bertozzi@unife.it organization: Department of Engineering, Ferrara University, Ferrara, Italy (e-mail: davide.bertozzi@unife.it) |
| BookMark | eNp9kLlOxDAQhi0EErDwAHSWaKAIeJJsjhIhLmklCqCOHHuS9eLYxvFyPAJvjZelQCCoxnN84_n_XbJprEFCDoCdAIPy9A7yElhR5VAyxvI03yA7sTRNMlbB5ucbklV_m-yO44IxKLI03yHvM9srQZ23vefDoExPuYsZF3McaWc99XYZVuWOL3VIOo9IuZF04K9q4Fq_Ucd9jKjpC39GjaYP82QFoaTWBSW4pgbDi_WPY2JNIubK0aMz53RsBWVNXODQH--RrY7rEfe_4oQ8XF7cn18ns9urm_OzWSKygsUDOAoGlaiyVgIWgmFd1GJaA08hFZ3opGxrXspWTCuQtWxLgVF7UbMKIW9FNiGH671R5dMSx9As7NKb-GUDdXSsytLozYTAekp4O44eu8b5qNe_NcCalePNL8cjU_5ghAqfEoPnSv9LZl8kH1qvZI_fjvqT-gDeSZl8 |
| CitedBy_id | crossref_primary_10_1007_s12200_019_0850_4 crossref_primary_10_1017_S1471068425100288 |
| Cites_doi | 10.1109/JLT.2011.2178019 10.1017/S1471068411000469 10.1016/S0004-3702(02)00187-X 10.1007/978-3-642-04238-6_49 10.1109/JLT.2008.2010462 10.1016/j.artint.2004.04.004 10.1109/JLT.2008.923609 10.1016/0743-1066(94)90033-7 10.1145/1999946.1999962 10.1017/S1471068410000220 10.1007/978-3-642-27694-1_7 10.1007/s10472-009-9116-y 10.1109/26.153361 10.1007/978-3-642-83189-8 10.1002/lpor.201100017 10.3233/AIC-2011-0491 10.1016/j.endm.2018.02.003 10.1145/1930037.1930046 10.1007/s10817-006-9033-2 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2017 |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2017 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1017/S1471068417000424 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central Database Suite (ProQuest) ProQuest Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Collection (ProQuest) ProQuest Computer Science Collection Computer Science Database (ProQuest) Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | LP approaches for maximally parallel WRONoCs M. Gavanelli et al. |
| EISSN | 1475-3081 |
| EndPage | 818 |
| ExternalDocumentID | 10_1017_S1471068417000424 |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABUWG ABZCX ACBMC ACCHT ACGFS ACIMK ACNCT ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IPYYG IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WXY WYP ZYDXJ AAYXX ABGDZ ABVKB ABVZP ABXHF ACAJB ACDLN AFFHD AFZFC AKMAY CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c360t-faec018c83bd1e6c0e969c591a212cfcfddb9a7dbc581d9db7ce4716908e14bc3 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000412567800008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Fri Jul 25 10:17:29 EDT 2025 Sat Nov 29 04:58:36 EST 2025 Tue Nov 18 21:51:30 EST 2025 Wed Mar 13 05:53:13 EDT 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5-6 |
| Keywords | Optical networks-on-chip Logic programming applications Answer set programming Constrained optimization Constraint logic programming on finite domains |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c360t-faec018c83bd1e6c0e969c591a212cfcfddb9a7dbc581d9db7ce4716908e14bc3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/logic-programming-approaches-for-routing-faultfree-and-maximally-parallel-wavelengthrouted-optical-networksonchip-application-paper/3B6AA94871448FE7F83599A77AFF9942#access-block |
| PQID | 1947583216 |
| PQPubID | 43613 |
| PageCount | 19 |
| ParticipantIDs | proquest_journals_1947583216 crossref_primary_10_1017_S1471068417000424 crossref_citationtrail_10_1017_S1471068417000424 cambridge_journals_10_1017_S1471068417000424 |
| PublicationCentury | 2000 |
| PublicationDate | 20170900 2017-09-00 20170901 |
| PublicationDateYYYYMMDD | 2017-09-01 |
| PublicationDate_xml | – month: 09 year: 2017 text: 20170900 |
| PublicationDecade | 2010 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2017 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | S1471068417000424_ref21 S1471068417000424_ref20 S1471068417000424_ref23 S1471068417000424_ref22 S1471068417000424_ref25 S1471068417000424_ref24 S1471068417000424_ref27 S1471068417000424_ref26 S1471068417000424_ref29 S1471068417000424_ref28 S1471068417000424_ref1 Leone (S1471068417000424_ref16) 2006; 7 S1471068417000424_ref10 S1471068417000424_ref12 S1471068417000424_ref11 S1471068417000424_ref14 S1471068417000424_ref13 S1471068417000424_ref15 S1471068417000424_ref18 S1471068417000424_ref17 S1471068417000424_ref8 S1471068417000424_ref7 S1471068417000424_ref19 S1471068417000424_ref6 S1471068417000424_ref5 cr-split#-S1471068417000424_ref31.1 S1471068417000424_ref4 cr-split#-S1471068417000424_ref31.2 S1471068417000424_ref3 S1471068417000424_ref2 Gebser (S1471068417000424_ref9) 2011; 24 S1471068417000424_ref30 |
| References_xml | – ident: S1471068417000424_ref23 – ident: S1471068417000424_ref28 doi: 10.1109/JLT.2011.2178019 – ident: #cr-split#-S1471068417000424_ref31.1 – ident: S1471068417000424_ref25 doi: 10.1017/S1471068411000469 – volume: 7 start-page: 499 year: 2006 ident: S1471068417000424_ref16 article-title: The DLV system for knowledge representation and reasoning publication-title: Journal of Logic and Algebraic Programming – ident: S1471068417000424_ref26 doi: 10.1016/S0004-3702(02)00187-X – ident: S1471068417000424_ref8 doi: 10.1007/978-3-642-04238-6_49 – ident: S1471068417000424_ref14 doi: 10.1109/JLT.2008.2010462 – ident: S1471068417000424_ref17 doi: 10.1016/j.artint.2004.04.004 – ident: S1471068417000424_ref3 doi: 10.1109/JLT.2008.923609 – ident: S1471068417000424_ref12 doi: 10.1016/0743-1066(94)90033-7 – ident: S1471068417000424_ref15 doi: 10.1145/1999946.1999962 – ident: S1471068417000424_ref10 – ident: S1471068417000424_ref2 – ident: S1471068417000424_ref7 doi: 10.1017/S1471068410000220 – ident: S1471068417000424_ref18 – ident: S1471068417000424_ref1 doi: 10.1007/978-3-642-27694-1_7 – ident: S1471068417000424_ref20 doi: 10.1007/s10472-009-9116-y – ident: S1471068417000424_ref6 doi: 10.1109/26.153361 – ident: #cr-split#-S1471068417000424_ref31.2 – ident: S1471068417000424_ref24 – ident: S1471068417000424_ref19 doi: 10.1007/978-3-642-83189-8 – ident: S1471068417000424_ref4 doi: 10.1002/lpor.201100017 – ident: S1471068417000424_ref30 – volume: 24 start-page: 107 year: 2011 ident: S1471068417000424_ref9 article-title: Potassco: The potsdam answer set solving collection publication-title: AI Communications doi: 10.3233/AIC-2011-0491 – ident: S1471068417000424_ref21 doi: 10.1016/j.endm.2018.02.003 – ident: S1471068417000424_ref22 doi: 10.1145/1930037.1930046 – ident: S1471068417000424_ref29 – ident: S1471068417000424_ref27 – ident: S1471068417000424_ref13 – ident: S1471068417000424_ref5 – ident: S1471068417000424_ref11 doi: 10.1007/s10817-006-9033-2 |
| SSID | ssj0016324 |
| Score | 2.1113079 |
| Snippet | One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 800 |
| SubjectTerms | CAD Communications systems Computer aided design Fault minimization Logic programming Optical communication Photonics Physical properties Regular Papers Wavelength routeing |
| Title | Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) |
| URI | https://www.cambridge.org/core/product/identifier/S1471068417000424/type/journal_article https://www.proquest.com/docview/1947583216 |
| Volume | 17 |
| WOSCitedRecordID | wos000412567800008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PT9swFLZY2WEXfm3TgFL5sANMs2Y3aeOcUEGtkJiqCoGEdqmcZ2dUSpOQtPz4E_iv8UudAkLqhUsOTuxYerbfs9_n7yPkp-FKKRAeizu-Zn7kSzvnJGdaR8jfpqUU1UXhv8FwKK-vw5E7cCsdrLJeE6uFWmeAZ-R_7GbbhrZeW3SP81uGqlGYXXUSGp_Iumi3BY7z84AtswhIRV7dLgoQ3SP9OquJlNFYiGXIT4fpv9fcCm991NsluvI7g82P9niLbLiIk_YWQ2SbrJl0h2zWag7UTe6v5Alll4E6wNbUujRaE46bktrYlhbZHEHSNFbzZMbiwhiqUk2n6mEyVUnySJFHPElMQu8V6lmk_2c3DCsZTbO8OjSn6QJ2XrIsZXAzyelh7yWFbhvITXH0jVwN-penZ8wJNTDwutz-UBngQoL0Ii1MF7gJuyF0QqGsY4QYYmv5UAU6go4Nj0MdBWB8pOnh0gg_Au87aaRZan4Q6kXKtiHDmAfgA0DEtYghFFLbjayR3i75vTTT2E23cryAqgXjd1bdJby25Bgc6TlqbySrqvxaVskXjB-rPm7Wtn_Vm6Xh91a_3idf2hglVJC1JmnMirk5IJ_hbjYpixZZP-kPRxetakzb56jz7xlyg_40 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VgkQvlKcoFPABJEBY2BvvxjkgVAFVqy6rHopUcQnO2KErZZM02aX0J_Bn-I148lhaIe2tB65ObFnOPDOfvwF47oQxBmXA06GyXCVKe53TglubEH-b1Vo2F4XH4WSij4-jwzX43d-FIVhlbxMbQ20LpH_kb32y7UPbYCBH78tTTl2jqLrat9BoxeLAnZ_5lK1-t__Rf98Xg8Hup6MPe7zrKsAxGIk5T41DITXqILHSjVC4aBThMJLGW3FMMfXbjExoExz6WC6ySYhOEaeM0E6qBAO_7jW4rpRPlrz-HA6_LqsWRH3e3GYKCU2kVV9FJYpqGqQx4sOjcuNFLofLPvGyS2j83O7m_3ZCt-FWF1GznVYF7sCay-_CZt-tgnXG6x78orbSyDpA2sy7bNYTqrua-didVcWCQOAsNYvM769yjpncspn5OZ2ZLDtnxJOeZS5jZ4b6deTf5yecJjnLirIpCrC8hdXXvMg5nkxL9nLnL0TAL1C66tV9-HIlB_IA1vMidw-BBYnxa-goFSEqREyElSlGUlufqDsdbMGbpVjEnTmp4xaKF8b_SNEWiF5yYuxI3am3SLZqyuvllLJlNFn18nYvaxd2sxS0R6sfP4Obe0efx_F4f3LwGDYGFBE18LxtWJ9XC_cEbuCP-bSunjZ6xODbVYvlHzSxXJQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Logic+programming+approaches+for+routing+fault-free+and+maximally+parallel+wavelength-routed+optical+networks-on-chip+%28Application+paper%29&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=GAVANELLI%2C+MARCO&rft.au=NONATO%2C+MADDALENA&rft.au=PEANO%2C+ANDREA&rft.au=BERTOZZI%2C+DAVIDE&rft.date=2017-09-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=17&rft.issue=5-6&rft.spage=800&rft.epage=818&rft_id=info:doi/10.1017%2FS1471068417000424&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068417000424 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |