Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling. The latter considers effects of fixed-priority preemptive scheduling in orde...
Saved in:
| Published in: | International Journal of Reconfigurable Computing Vol. 2009; no. 1; pp. 371 - 381 |
|---|---|
| Main Authors: | , , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
Hindawi Limiteds
01.01.2009
Hindawi Publishing Corporation John Wiley & Sons, Inc |
| Subjects: | |
| ISSN: | 1687-7195, 1687-7209 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling. The latter considers effects of fixed-priority preemptive scheduling in order to guarantee real-time requirements, hence covering a broad spectrum of embedded applications. Being inherently a combinatorial optimization problem, the design space is modeled using linear equations that capture high-level design parameters. A comparison of two methods for solving resulting problem instances is then given. The intent is to study how well recent advances in propositional satisfiability (SAT) and thus Answer Set Programming (ASP) can be exploited to automate the design of flexible multiprocessor systems. Integer Linear Programming (ILP) is taken as a baseline, where architectures for IEEE 802.11g and WCDMA baseband signal processing are synthesized. ASP-based synthesis used a few seconds in the solver, faster by three orders of magnitude compared to ILP-based synthesis, thereby showing a great potential for solving difficult instances of the automated synthesis problem. |
|---|---|
| AbstractList | An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling. The latter considers effects of fixed-priority preemptive scheduling in order to guarantee real-time requirements, hence covering a broad spectrum of embedded applications. Being inherently a combinatorial optimization problem, the design space is modeled using linear equations that capture high-level design parameters. A comparison of two methods for solving resulting problem instances is then given. The intent is to study how well recent advances in propositional satisfiability (SAT) and thus Answer Set Programming (ASP) can be exploited to automate the design of flexible multiprocessor systems. Integer Linear Programming (ILP) is taken as a baseline, where architectures for IEEE 802.11g and WCDMA baseband signal processing are synthesized. ASP-based synthesis used a few seconds in the solver, faster by three orders of magnitude compared to ILP-based synthesis, thereby showing a great potential for solving difficult instances of the automated synthesis problem. An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling. The latter considers effects of fixed‐priority preemptive scheduling in order to guarantee real‐time requirements, hence covering a broad spectrum of embedded applications. Being inherently a combinatorial optimization problem, the design space is modeled using linear equations that capture high‐level design parameters. A comparison of two methods for solving resulting problem instances is then given. The intent is to study how well recent advances in propositional satisfiability (SAT) and thus Answer Set Programming (ASP) can be exploited to automate the design of flexible multiprocessor systems. Integer Linear Programming (ILP) is taken as a baseline, where architectures for IEEE 802.11g and WCDMA baseband signal processing are synthesized. ASP‐based synthesis used a few seconds in the solver, faster by three orders of magnitude compared to ILP‐based synthesis, thereby showing a great potential for solving difficult instances of the automated synthesis problem. |
| Author | Christophe Bobda Philipp Mahr Martin Gebser Torsten Schaub Harold Ishebabi |
| Author_xml | – sequence: 1 givenname: Harold surname: Ishebabi fullname: Ishebabi, Harold organization: Professorship for Computer EngineeringInstitute for Computer ScienceUniversity of PotsdamAugust-Bebel-Strasse 89, D-14482 PotsdamGermanyuni-potsdam.de – sequence: 2 givenname: Philipp surname: Mahr fullname: Mahr, Philipp organization: Professorship for Computer EngineeringInstitute for Computer ScienceUniversity of PotsdamAugust-Bebel-Strasse 89, D-14482 PotsdamGermanyuni-potsdam.de – sequence: 3 givenname: Christophe surname: Bobda fullname: Bobda, Christophe organization: Professorship for Computer EngineeringInstitute for Computer ScienceUniversity of PotsdamAugust-Bebel-Strasse 89, D-14482 PotsdamGermanyuni-potsdam.de – sequence: 4 givenname: Martin surname: Gebser fullname: Gebser, Martin organization: Professorship for Knowledge Processing and Information SystemsInstitute for Computer ScienceUniversity of PotsdamAugust-Bebel-Strasse 89, D-14482 PotsdamGermanyuni-potsdam.de – sequence: 5 givenname: Torsten surname: Schaub fullname: Schaub, Torsten organization: Professorship for Knowledge Processing and Information SystemsInstitute for Computer ScienceUniversity of PotsdamAugust-Bebel-Strasse 89, D-14482 PotsdamGermanyuni-potsdam.de |
| BookMark | eNqFkE1P3DAQhq0KJD7KiT9g9VgU8EdsJ8cVoi3SVl2xcI7sZLIYJTbYTtGe-tfrJUUVlSpkjce2nnc88x6hPecdIHRKyTmlQlwwQuqLSnLJyQd0SGWlCsVIvfd6prU4QCcxWkPKUpW0FOwQ_Vq4-AwBryHhnxDiFPG1S7DJT0vrQAe8Cn4T9Dhat8G9D3gxJT_qZFu83rp0D9FG7Hv8fRqSfQy-hRgztd7GBGPEffAjvgE9FLd2BLzSQQ8DDK9V40e03-shwsmffIzuvlzdXn4rlj--Xl8uloXmkqWCKyirWgpjQEoFQrSmhpZ0YHSOrtOyLUtdV8CNloKaXqmuNC3vWGVkTQU_Rp_murnFpwliah78FFz-sqmEqCsqGMkQnaE2-BgD9E1rUx7VuxS0HRpKmp3Tzc7pZnY6a87-0TwGO-qw_Q_9eabvrev0s30HXs6wtsEm-7fjFSNU0LwRwl4UdJeoIjIvwtTbC1e04RXlvwHhWqRF |
| CitedBy_id | crossref_primary_10_1155_2010_570279 crossref_primary_10_1155_2013_328619 crossref_primary_10_1145_2701419 crossref_primary_10_1155_2012_790459 crossref_primary_10_1016_j_artint_2016_04_003 crossref_primary_10_3390_electronics13071404 crossref_primary_10_1016_j_artint_2012_04_001 crossref_primary_10_1016_j_sysarc_2013_10_004 crossref_primary_10_1017_S1471068425100288 |
| Cites_doi | 10.1145/1151074.1151077 10.1109/ICASSP.2006.1660832 10.1109/IPDPS.2007.370527 10.1145/1084834.1084903 10.1109/TPDS.2005.22 10.1145/1084834.1084857 10.1109/DATE.2006.243950 10.1145/1289816.1289874 10.1109/DDECS.2008.4538754 10.1109/ISCAS.2001.922298 10.1007/978-3-540-72200-7_23 10.1049/el:20010364 10.1109/26.650240 10.1145/1016720.1016737 10.1109/RECONF.2006.307779 10.1109/DATE.2007.364558 10.3233/SAT190014 10.1145/1284480.1284531 10.1109/DATE.2008.4484688 10.1007/s10009‐004‐0183‐4 10.1016/S0004‐3702(02)00187‐X 10.1016/j.micpro.2008.08.009 10.1109/ICASIC.2005.1611458 10.1002/0470017406 10.1109/TEVC.2005.860766 10.1109/35.714618 10.1109/ICASIC.2007.4415577 10.1145/321738.321743 10.1109/ISSOC.2007.4427441 10.1007/s10817‐006‐9033‐2 10.1109/RTCSA.2006.36 10.1109/32.387477 |
| ContentType | Journal Article |
| Copyright | Copyright © 2009 Copyright © 2009 Harold Ishebabi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| Copyright_xml | – notice: Copyright © 2009 – notice: Copyright © 2009 Harold Ishebabi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| DBID | 188 RHU RHW RHX AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU CWDGH DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1155/2009/863630 |
| DatabaseName | Chinese Electronic Periodical Services (CEPS) Hindawi Publishing Complete Hindawi Publishing Subscription Journals Hindawi Publishing Open Access 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 ProQuest Central ProQuest Technology Collection ProQuest One Middle East & Africa Database ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database 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 Publicly Available Content Database 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 Publicly Available Content Database 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 Middle East & Africa Database 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 One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | Publicly Available Content Database CrossRef |
| Database_xml | – sequence: 1 dbid: RHX name: Hindawi Publishing Open Access url: http://www.hindawi.com/journals/ sourceTypes: Publisher – sequence: 2 dbid: PIMPY name: ProQuest Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1687-7209 |
| Editor | Torres, Lionel |
| Editor_xml | – sequence: 1 givenname: Lionel surname: Torres fullname: Torres, Lionel |
| EndPage | 381 |
| ExternalDocumentID | 2286846981 10_1155_2009_863630 P20151201002_200912_201706060027_201706060027_371_381 |
| GroupedDBID | 188 ALMA_UNASSIGNED_HOLDINGS M~E .4S .DC 2UF 2WC 3V. 4.4 5VS 8FE 8FG 8R4 8R5 AAFWJ AAJEY AAKPC ABUWG ACM ADBBV AFKRA AFPKN AINHJ ARAPS ARCSS AZQEC BCNDV BENPR BGLVJ BPHCQ C1A CCPQU CNMHZ CS3 CVCKV CWDGH DWQXO E3Z EBS EDO EJD GNUQQ GROUPED_DOAJ HCIFZ IAO IEA IL9 K6V K7- KQ8 M0N OK1 P2P P62 PIMPY PQQKQ PROAC Q2X RHU RHW RHX TR2 TUS UZ4 0R~ 24P AAMMB AAYXX ACCMX ADMLS AEFGJ AFFHD AGXDD AIDQK AIDYY ALUQN CITATION H13 ICD ISR ITC OVT PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-a362t-37e48965bbe667e55cb9ec0debadebdda6c44a98e3ba651bf77d4bc3d28b69153 |
| IEDL.DBID | RHX |
| ISICitedReferencesCount | 11 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000214285000028&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1687-7195 |
| IngestDate | Fri Jul 25 21:03:35 EDT 2025 Tue Nov 18 21:33:53 EST 2025 Sat Nov 29 03:05:29 EST 2025 Sun Jun 02 18:53:14 EDT 2024 Tue Oct 01 22:52:01 EDT 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Language | English |
| License | This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a362t-37e48965bbe667e55cb9ec0debadebdda6c44a98e3ba651bf77d4bc3d28b69153 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://dx.doi.org/10.1155/2009/863630 |
| PQID | 855981520 |
| PQPubID | 426320 |
| PageCount | 11 |
| ParticipantIDs | proquest_journals_855981520 crossref_citationtrail_10_1155_2009_863630 crossref_primary_10_1155_2009_863630 hindawi_primary_10_1155_2009_863630 airiti_journals_P20151201002_200912_201706060027_201706060027_371_381 |
| PublicationCentury | 2000 |
| PublicationDate | 2009-01-01 |
| PublicationDateYYYYMMDD | 2009-01-01 |
| PublicationDate_xml | – month: 01 year: 2009 text: 2009-01-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | International Journal of Reconfigurable Computing |
| PublicationYear | 2009 |
| Publisher | Hindawi Limiteds Hindawi Publishing Corporation John Wiley & Sons, Inc |
| Publisher_xml | – name: Hindawi Limiteds – name: Hindawi Publishing Corporation – name: John Wiley & Sons, Inc |
| References | (5) 2006; 5 HanssonA.GoossensK.RǎdulescuA.A unified approach to constrained mapping and routing on network-on-chip architecturesProceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '05)September 2005Jersey City, NJ, USA758010.1145/1084834.10848572-s2.0-27644490224 (21) 2006; 10 http://www.mpi-forum.org/docs/mpi-11-html/mpi-report.html HsuC.-F.HuangY.-H.ChiuehT.-D.Design of an OFDM receiver for high-speed wireless LAN4Proceedings of IEEE International Symposium on Circuits and SystemsMay 2001Sydney, Australia55856110.1109/ISCAS.2001.922298 (10) 2006; 36 JinY.SatishN.RavindranK.KeutzerK.An automated exploration framework for FPGA-based soft multiprocessor systemsProceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '05)September 2005Jersey City, NJ, USA27327810.1145/1084834.10849032-s2.0-27644560102 CartaS.MereuF.AcquavivaA.De MicheliG.MiGra: a task migration algorithm for reducing temperature gradient in multiprocessor systems on chipProceedings of International Symposium on System-on-Chip Proceedings (SOC '07)November 2007Tampere, Finland10.1109/ISSOC.2007.44274412-s2.0-48049095496 BurnsA.Preemptive priority based scheduling: an appropriate engineering approach1994214University of York (27) 1973; 20 (7) 2009; 33 HaS.sha@iris.snu.ac.krLeeC.cslee@iris.snu.ac.krYiY.ymyi@iris.snu.ac.krKwonS.ksn@iris.snu.ac.krJooY.-P.joo47@iris.snu.ac.krHardware-software codesign of multimedia embedded systems: the PeaCE approachProceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '06)August 2006Sydney, Australia2072142-s2.0-003681886810.1109/RTCSA.2006.36 RuggieroM.GuerriA.BertozziD.PolettiF.MilanoM.Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip1Proceedings of the Conference on Design, Automation and Test in Europe (DATE '06)2006Munich, Germany3810.1109/DATE.2006.2439502-s2.0-34047117937 HeiskalaJ.TerryJ.OFDM Wireless LANs: A Theoretical and Practical Guide2002Indianapolis, Ind, USASAMS Publishing ZhuC.GuZ.DickR. P.ShangL.Reliable multiprocessor system-on-chip synthesisProceedings of the 5th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '07)2007Salzburg, Austria23924410.1145/1289816.12898742-s2.0-38849111766 HolzenspiesP. K.HurinkJ. L.KuperJ.SmitG. J.Run-time spatial mapping of streaming applications to a heterogeneous multiprocessor system-on-chip (MPSOC)Proceedings of the Conference on Design, Automation and Test in Europe (DATE '08)March 2008Munich, Germany21221710.1109/DATE.2008.4484688 PasrichaS.DuttN.Ben-RomdhaneM.Extending the transaction level modeling approach for fast communication architecture explorationProceedings of Design Automation Conference (DAC '04)20041131182-s2.0-4444364133 (31) 2006; 2 (29) 2002; 138 LeeC.HaS.Hardware-software cosynthesis of multitask MPSoCs with real-time constraints2Proceedings of the 6th International Conference on ASIC (ASICON '05)2005Shanghai, China91992410.1109/ICASIC.2005.1611458 ZhangW.-T.GengL.-F.ZhangD.-L.Design of heterogeneous MPSoC on FPGAProceedings of the 7th International Conference on ASIC (ASICON '07)October 2007Guilin, China10210510.1109/ICASIC.2007.4415577 SaldanaM.msaldana@eecg.toronto.eduNunesD.dnunes@eecg.toronto.eduRamalhoE.eramalho@eecg.toronto.eduChowP.pc@eecg.toronto.eduConfiguration and programming of heterogeneous multiprocessors on a multi-FPGA system using TMD-MPIProceedings of the IEEE International Conference on Reconfigurable Computing and FPGA's (ReConFig '06)September 2006San Luis Potosi, Mexico1102-s2.0-3374616239710.1109/RECONF.2006.307779 NjorogeN.CasperJ.WeeS.ATLAS: a chip-multiprocessor with transactional memory supportProceedings of the Conference on Design, Automation and Test in Europe (DATE '07)2007San Jose, Calif, USA3810.1109/DATE.2007.3645582-s2.0-34548297530 SchulzeH.LüdersC.Theory and Application of OFDM and CDMA2005New York, NY, USAJohn Wiley & Sons (11) 2005; 16 (26) 1995; 21 (33) 1997; 45 NeeR. V.PrasadR.OFDM for Wireless Multimedia Communications2000Boston, Mass, USAArtech House (8) 2005; 7 BaoM.AndreiA.ElesP.PengZ.Temperature-aware task mapping for energy optimization with dynamic voltage scalingProceedings of the 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS '08)April 200816 GebserM.KaufmannB.NeumannA.SchaubT.clasp: a conflict-driven answer set solver4483Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)May 2007Tempe, Ariz, USA260265Lecture Notes in Computer Science2-s2.0-38049060388 BobdaC.HallerT.MuehlbauerF.RechD.JungS.Design of adaptive multiprocessor on chip systemsProceedings of the 20th Symposium on Integrated Circuits and System Design (SBCCI '07)September 2007Rio de Janeiro, Brazil17718310.1145/1284480.12845312-s2.0-37849038584 DwivediB. K.KumarA.BalakrishnanM.Automatic synthesis of system on chip multiprocessor architectures for process networksProceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and Systems Synthesis (CODES+ISSS '04)2004Stockholm, Sweden606510.1145/1016720.10167372-s2.0-16244403353 (37) 1998; 36 RhodesD. L.WolfW.Co-synthesis of heterogeneous multiprocessor systems using arbitrated communicationProceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD '99)November 1999San Jose, Calif, USA3393422-s2.0-0033338604 MeyerB. H.ThomasD. E.Rethinking automated synthesis of MPSoC architecturesProceedings of the 21st International Parallel and Distributed Processing Symposium (IPDPS '07)March 20071610.1109/IPDPS.2007.3705272-s2.0-34548781768 PopP.Analysis and synthesis of communication-intensive heterogeneous real-time systems, Ph.D. thesis2003Linkoping, SwedenLinkoping University (39) 2001; 37 http://lpsolve.sourceforge.net/5.5 GebserM.KaminskiR.KaufmannB.OstrowskiM.SchaubT.ThieleS.A user's guide to gringo, clasp, clingo, and iclingoNovember 2008 AtakO.AtalarA.ArikanE.Design of application specific processors for the cached FFT algorithm3Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP '06)May 2006Toulouse, France1028103110.1109/ICASSP.2006.16608322-s2.0-33947673354 e_1_2_8_27_2 Heiskala J. (e_1_2_8_34_2) 2002 e_1_2_8_28_2 e_1_2_8_29_2 e_1_2_8_23_2 e_1_2_8_24_2 e_1_2_8_25_2 e_1_2_8_26_2 e_1_2_8_9_2 e_1_2_8_2_2 e_1_2_8_1_2 e_1_2_8_4_2 e_1_2_8_3_2 e_1_2_8_6_2 e_1_2_8_5_2 e_1_2_8_8_2 e_1_2_8_7_2 e_1_2_8_20_2 e_1_2_8_41_2 e_1_2_8_21_2 e_1_2_8_22_2 e_1_2_8_40_2 e_1_2_8_16_2 e_1_2_8_39_2 e_1_2_8_17_2 e_1_2_8_38_2 e_1_2_8_18_2 e_1_2_8_19_2 e_1_2_8_12_2 e_1_2_8_13_2 e_1_2_8_14_2 e_1_2_8_37_2 e_1_2_8_15_2 e_1_2_8_36_2 Een N. (e_1_2_8_31_2) 2006; 2 Nee R. V. (e_1_2_8_35_2) 2000 e_1_2_8_30_2 e_1_2_8_10_2 e_1_2_8_33_2 e_1_2_8_11_2 e_1_2_8_32_2 |
| References_xml | – reference: ZhuC.GuZ.DickR. P.ShangL.Reliable multiprocessor system-on-chip synthesisProceedings of the 5th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '07)2007Salzburg, Austria23924410.1145/1289816.12898742-s2.0-38849111766 – reference: HeiskalaJ.TerryJ.OFDM Wireless LANs: A Theoretical and Practical Guide2002Indianapolis, Ind, USASAMS Publishing – reference: HanssonA.GoossensK.RǎdulescuA.A unified approach to constrained mapping and routing on network-on-chip architecturesProceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '05)September 2005Jersey City, NJ, USA758010.1145/1084834.10848572-s2.0-27644490224 – volume: 138 start-page: 181 issue: 1-2 year: 2002 end-page: 234 ident: 29 article-title: Extending and implementing the stable model semantics – volume: 16 start-page: 113 issue: 2 year: 2005 end-page: 129 ident: 11 article-title: NoC synthesis flow for customized domain specific multiprocessor systems-on-chip – volume: 21 start-page: 475 issue: 5 year: 1995 end-page: 480 ident: 26 article-title: Effective analysis for engineering real-time fixed priority schedulers – reference: HaS.sha@iris.snu.ac.krLeeC.cslee@iris.snu.ac.krYiY.ymyi@iris.snu.ac.krKwonS.ksn@iris.snu.ac.krJooY.-P.joo47@iris.snu.ac.krHardware-software codesign of multimedia embedded systems: the PeaCE approachProceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '06)August 2006Sydney, Australia2072142-s2.0-003681886810.1109/RTCSA.2006.36 – reference: HsuC.-F.HuangY.-H.ChiuehT.-D.Design of an OFDM receiver for high-speed wireless LAN4Proceedings of IEEE International Symposium on Circuits and SystemsMay 2001Sydney, Australia55856110.1109/ISCAS.2001.922298 – reference: AtakO.AtalarA.ArikanE.Design of application specific processors for the cached FFT algorithm3Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP '06)May 2006Toulouse, France1028103110.1109/ICASSP.2006.16608322-s2.0-33947673354 – reference: ZhangW.-T.GengL.-F.ZhangD.-L.Design of heterogeneous MPSoC on FPGAProceedings of the 7th International Conference on ASIC (ASICON '07)October 2007Guilin, China10210510.1109/ICASIC.2007.4415577 – volume: 5 start-page: 281 issue: 2 year: 2006 end-page: 320 ident: 5 article-title: UML-based multiprocessor SoC design framework – volume: 20 start-page: 46 issue: 1 year: 1973 end-page: 61 ident: 27 article-title: Scheduling algorithms for multiprogramming in a hard-real-time environment – reference: SaldanaM.msaldana@eecg.toronto.eduNunesD.dnunes@eecg.toronto.eduRamalhoE.eramalho@eecg.toronto.eduChowP.pc@eecg.toronto.eduConfiguration and programming of heterogeneous multiprocessors on a multi-FPGA system using TMD-MPIProceedings of the IEEE International Conference on Reconfigurable Computing and FPGA's (ReConFig '06)September 2006San Luis Potosi, Mexico1102-s2.0-3374616239710.1109/RECONF.2006.307779 – volume: 36 start-page: 345 issue: 4 year: 2006 end-page: 377 ident: 10 article-title: Answer set programming based on propositional satisfiability – volume: 2 start-page: 1 year: 2006 end-page: 26 ident: 31 article-title: Translating pseudo-boolean constraints into sat – volume: 36 start-page: 56 issue: 9 year: 1998 end-page: 69 ident: 37 article-title: Wideband DS-CDMA for next-generation mobile communications systems – reference: PasrichaS.DuttN.Ben-RomdhaneM.Extending the transaction level modeling approach for fast communication architecture explorationProceedings of Design Automation Conference (DAC '04)20041131182-s2.0-4444364133 – reference: RhodesD. L.WolfW.Co-synthesis of heterogeneous multiprocessor systems using arbitrated communicationProceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD '99)November 1999San Jose, Calif, USA3393422-s2.0-0033338604 – reference: LeeC.HaS.Hardware-software cosynthesis of multitask MPSoCs with real-time constraints2Proceedings of the 6th International Conference on ASIC (ASICON '05)2005Shanghai, China91992410.1109/ICASIC.2005.1611458 – reference: JinY.SatishN.RavindranK.KeutzerK.An automated exploration framework for FPGA-based soft multiprocessor systemsProceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '05)September 2005Jersey City, NJ, USA27327810.1145/1084834.10849032-s2.0-27644560102 – reference: NjorogeN.CasperJ.WeeS.ATLAS: a chip-multiprocessor with transactional memory supportProceedings of the Conference on Design, Automation and Test in Europe (DATE '07)2007San Jose, Calif, USA3810.1109/DATE.2007.3645582-s2.0-34548297530 – reference: DwivediB. K.KumarA.BalakrishnanM.Automatic synthesis of system on chip multiprocessor architectures for process networksProceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and Systems Synthesis (CODES+ISSS '04)2004Stockholm, Sweden606510.1145/1016720.10167372-s2.0-16244403353 – reference: MeyerB. H.ThomasD. E.Rethinking automated synthesis of MPSoC architecturesProceedings of the 21st International Parallel and Distributed Processing Symposium (IPDPS '07)March 20071610.1109/IPDPS.2007.3705272-s2.0-34548781768 – volume: 10 start-page: 358 issue: 3 year: 2006 end-page: 374 ident: 21 article-title: Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design – reference: BaoM.AndreiA.ElesP.PengZ.Temperature-aware task mapping for energy optimization with dynamic voltage scalingProceedings of the 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS '08)April 200816 – volume: 37 start-page: 522 issue: 8 year: 2001 end-page: 524 ident: 39 article-title: Enhanced maximal ratio combining scheme for RAKE receivers in WCDMA mobile terminals – reference: HolzenspiesP. K.HurinkJ. L.KuperJ.SmitG. J.Run-time spatial mapping of streaming applications to a heterogeneous multiprocessor system-on-chip (MPSOC)Proceedings of the Conference on Design, Automation and Test in Europe (DATE '08)March 2008Munich, Germany21221710.1109/DATE.2008.4484688 – volume: 45 start-page: 1613 issue: 12 year: 1997 end-page: 1621 ident: 33 article-title: Robust frequency and timing synchronization for OFDM – reference: GebserM.KaufmannB.NeumannA.SchaubT.clasp: a conflict-driven answer set solver4483Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)May 2007Tempe, Ariz, USA260265Lecture Notes in Computer Science2-s2.0-38049060388 – reference: BurnsA.Preemptive priority based scheduling: an appropriate engineering approach1994214University of York – reference: http://www.mpi-forum.org/docs/mpi-11-html/mpi-report.html – volume: 7 start-page: 156 issue: 2 year: 2005 end-page: 173 ident: 8 article-title: A survey of recent advances in SAT-based formal verification – reference: SchulzeH.LüdersC.Theory and Application of OFDM and CDMA2005New York, NY, USAJohn Wiley & Sons – reference: NeeR. V.PrasadR.OFDM for Wireless Multimedia Communications2000Boston, Mass, USAArtech House – reference: GebserM.KaminskiR.KaufmannB.OstrowskiM.SchaubT.ThieleS.A user's guide to gringo, clasp, clingo, and iclingoNovember 2008 – reference: RuggieroM.GuerriA.BertozziD.PolettiF.MilanoM.Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip1Proceedings of the Conference on Design, Automation and Test in Europe (DATE '06)2006Munich, Germany3810.1109/DATE.2006.2439502-s2.0-34047117937 – reference: http://lpsolve.sourceforge.net/5.5 – reference: CartaS.MereuF.AcquavivaA.De MicheliG.MiGra: a task migration algorithm for reducing temperature gradient in multiprocessor systems on chipProceedings of International Symposium on System-on-Chip Proceedings (SOC '07)November 2007Tampere, Finland10.1109/ISSOC.2007.44274412-s2.0-48049095496 – volume: 33 start-page: 63 issue: 1 year: 2009 end-page: 71 ident: 7 article-title: Automated architecture synthesis for parallel programs on FPGA multiprocessor systems – reference: BobdaC.HallerT.MuehlbauerF.RechD.JungS.Design of adaptive multiprocessor on chip systemsProceedings of the 20th Symposium on Integrated Circuits and System Design (SBCCI '07)September 2007Rio de Janeiro, Brazil17718310.1145/1284480.12845312-s2.0-37849038584 – reference: PopP.Analysis and synthesis of communication-intensive heterogeneous real-time systems, Ph.D. thesis2003Linkoping, SwedenLinkoping University – ident: e_1_2_8_5_2 doi: 10.1145/1151074.1151077 – ident: e_1_2_8_40_2 doi: 10.1109/ICASSP.2006.1660832 – volume-title: OFDM for Wireless Multimedia Communications year: 2000 ident: e_1_2_8_35_2 – ident: e_1_2_8_32_2 – ident: e_1_2_8_13_2 doi: 10.1109/IPDPS.2007.370527 – volume-title: OFDM Wireless LANs: A Theoretical and Practical Guide year: 2002 ident: e_1_2_8_34_2 – ident: e_1_2_8_41_2 – ident: e_1_2_8_15_2 doi: 10.1145/1084834.1084903 – ident: e_1_2_8_11_2 doi: 10.1109/TPDS.2005.22 – ident: e_1_2_8_12_2 doi: 10.1145/1084834.1084857 – ident: e_1_2_8_19_2 – ident: e_1_2_8_23_2 doi: 10.1109/DATE.2006.243950 – ident: e_1_2_8_16_2 doi: 10.1145/1289816.1289874 – ident: e_1_2_8_22_2 doi: 10.1109/DDECS.2008.4538754 – ident: e_1_2_8_30_2 – ident: e_1_2_8_36_2 doi: 10.1109/ISCAS.2001.922298 – ident: e_1_2_8_9_2 doi: 10.1007/978-3-540-72200-7_23 – ident: e_1_2_8_39_2 doi: 10.1049/el:20010364 – ident: e_1_2_8_33_2 doi: 10.1109/26.650240 – ident: e_1_2_8_14_2 doi: 10.1145/1016720.1016737 – ident: e_1_2_8_3_2 doi: 10.1109/RECONF.2006.307779 – ident: e_1_2_8_4_2 doi: 10.1109/DATE.2007.364558 – volume: 2 start-page: 1 year: 2006 ident: e_1_2_8_31_2 article-title: Translating pseudo-boolean constraints into sat publication-title: Journal on Satisfiability, Boolean Modeling and Computation doi: 10.3233/SAT190014 – ident: e_1_2_8_1_2 doi: 10.1145/1284480.1284531 – ident: e_1_2_8_25_2 doi: 10.1109/DATE.2008.4484688 – ident: e_1_2_8_8_2 doi: 10.1007/s10009‐004‐0183‐4 – ident: e_1_2_8_29_2 doi: 10.1016/S0004‐3702(02)00187‐X – ident: e_1_2_8_7_2 doi: 10.1016/j.micpro.2008.08.009 – ident: e_1_2_8_17_2 doi: 10.1109/ICASIC.2005.1611458 – ident: e_1_2_8_38_2 doi: 10.1002/0470017406 – ident: e_1_2_8_6_2 – ident: e_1_2_8_20_2 – ident: e_1_2_8_21_2 doi: 10.1109/TEVC.2005.860766 – ident: e_1_2_8_37_2 doi: 10.1109/35.714618 – ident: e_1_2_8_2_2 doi: 10.1109/ICASIC.2007.4415577 – ident: e_1_2_8_27_2 doi: 10.1145/321738.321743 – ident: e_1_2_8_28_2 – ident: e_1_2_8_24_2 doi: 10.1109/ISSOC.2007.4427441 – ident: e_1_2_8_10_2 doi: 10.1007/s10817‐006‐9033‐2 – ident: e_1_2_8_18_2 doi: 10.1109/RTCSA.2006.36 – ident: e_1_2_8_26_2 doi: 10.1109/32.387477 |
| SSID | ssib044741452 ssj0064080 |
| Score | 1.7731211 |
| Snippet | An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving... An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving... |
| SourceID | proquest crossref hindawi airiti |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 371 |
| SubjectTerms | Algorithms Communication Methods Signal processing Space exploration Studies |
| SummonAdditionalLinks | – databaseName: Advanced Technologies & Aerospace Database dbid: P5Z link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1La9wwEBZpmkIuTZ9kmyYImlPBrLzWwzqVJSTkEIJJWwi9GEmW24XUu1l7E3LKX--MLG8ILbn0YIxtYTCexydp5vsIOWSTGpIu44mcGJFw6U2SW-YSzzKHvbo1qwJl_pk6P88vL3URa3PaWFY5xMQQqKu5wzXycY5M4pBs2JfFdYKiUbi5GhU0npHnSJKAyg2F-DGYE-eQLblYs0lJzoKQWirBr1SqRWzXg4w6xj2CcS4zidXQW2aGhEKPMtWLXzhFvp39FbJDHjrZ-c8veEVeRgBKp73FvCYbvnlDdgZxBxp9_S25nzbtLd7wHcXSjVVLcfXwJ9yC-Sv4By360q7fkPwoQF86XXXzQABLv941gCvbWUvnNQ0tvou-HwFGRYp0in0t9AJgaoJdKLQwS1R1uRre2r4j30-Ovx2dJlGtITGQBDuIVJ7nWgprvZTKC-Gs9o5V3ho4qspIx7nRuc-skSK1tVIVty6rJrmVGgLve7LZzBu_S6gGWGWUBWTnDa99ZrSo09QpiOpVLcVkRI77X1RGh2vLAoAMYBeGjLIoralTPAVuINx5VI8vMpWWAFVG5PPwh0sXKdFRmeOqDFMjIcKbyt4uRuRwPXjRM4H8e9inaCpPj9obbOThG9YG8uHJp3tku9_SwnWgj2SzW678PtlyN92sXR4EF_gD52IHpA priority: 102 providerName: ProQuest |
| Title | Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs |
| URI | https://www.airitilibrary.com/Article/Detail/P20151201002-200912-201706060027-201706060027-371-381 https://dx.doi.org/10.1155/2009/863630 https://www.proquest.com/docview/855981520 |
| Volume | 2009 |
| WOSCitedRecordID | wos000214285000028&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: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 1687-7209 dateEnd: 20231231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: DOA dateStart: 20080101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssib044741452 issn: 1687-7195 databaseCode: M~E dateStart: 20080101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: P5Z dateStart: 20080101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: K7- dateStart: 20080101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Middle East & Africa Database customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: CWDGH dateStart: 20080101 isFulltext: true titleUrlDefault: https://search.proquest.com/middleeastafrica providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: BENPR dateStart: 20080101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Publicly Available Content Database customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: PIMPY dateStart: 20080101 isFulltext: true titleUrlDefault: http://search.proquest.com/publiccontent providerName: ProQuest – providerCode: PRVWIB databaseName: Wiley Online Library Open Access customDbUrl: eissn: 1687-7209 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0064080 issn: 1687-7195 databaseCode: 24P dateStart: 20080101 isFulltext: true titleUrlDefault: https://authorservices.wiley.com/open-science/open-access/browse-journals.html providerName: Wiley-Blackwell |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3di9QwEA96KtyL3-J6ugS8J6Fcus1H87jKHid6S1kVVl9Kkqbnwtk9tt07fNF_3Zk0PTlPxIemNA0D7Uwyv3zMbwjZZ5ManC7jiZwYkXDpTZJb5hLPMoexujWrAmX-ezWf58ulLuIB2fb6Fj54uwNcvz_IZSYzmJrfzAUe3FocLQer4RycIheXpFGSs5AvLZXQfVSqRYzK-0MUeByzQt6gKw7pzlecCV-sro3Mwd0c3id3I06k016xD8gN3zwk94YcDDR2yUfk57RpL7DCdxRPWGxbiot8J1AF00wwY1r0J7C-gY-igFDpdNutA08r_fC9AfjXrlq6rmmIxD3rwwagVWQypxh-QheAJhMMFqGF2WDyldNBavuYfDqcfXxzlMSkCokBX9XBgOJ5rqWw1kupvBDOau9Y5a2Bq6qMdJwbnfvMGilSWytVceuyapJbqWF8fEJ2mnXjnxKqAf0YZQGAecNrnxkt6jR1CgbfqpZiMiKz_heXsV-0ZQF4AyAGQ-JXzICpU7wFCh_cIFRXHzKVloAoRuTVoKHSReZyTKBxWoYZjBBBUtnrdUT2Lxuf9YQdf2_2Mqr63632BjP4_Q05ctoD7GHP_kvGHtntd6Bw2eY52ek2W_-C3Hbn3ardjMmt17N5sRiHtQAo36kEyuMfMygL8QXeF2-Pi8_jYPK_ADeL7hw |
| linkProvider | Hindawi Publishing |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9NAEF5VpQgulFdFKIWVKBckK2t7H_ahQlFp1SohiqBIvZnd9RoiFSfEDlFP_UX8R2bWdlAF6q0HDpZle2X5MTPf7GO-j5B9FhUAuowHMtIi4NLpIDHMBo7FFmt1C5Z7yvyRGo-T8_N0skF-dbUwuKyyi4k-UOczi2Pk_QSZxAFs2Lv5jwBFo3BytVPQaKxi6C5X0GOrDk7fw-99E0XHR2eHJ0ErKhBoiNU1OJTjSSqFMU5K5YSwJnWW5c5o2PJcS8u5ThMXGy1FaAqlcm5snEeJkWmIIhEQ8e_wOFHoVkMVdObLOaAzF2v2KsmZF24LJfixClPRlgcCgvdxTqKfyFji6ustPUUCo2vIePcbdslX078gwuPe8fZ_9sUekgdtgk0HjUc8IhuufEy2O_EK2sayJ-RqUFYrPOFqiktTlhXF0dGvcAr65_DcdNIsXfsO4E4htaeDZT3zBLf002UJeXM1reisoL6Eed7UW0CrlgKeYt0O_QhpeIBVNnSiF6hac9HdtXpKPt_KZ9ghm-WsdM8ITSFt1MpA5uo0L1ysU1GEoVWAWnkhRdQjR41JZG1AqbIJJGqQmzFkzEXp0DTEnec-wplVdf0gVmEGqViPvO0sKrMt5Tsqj1xkvusnhL9T1thhj-yvG88bppN_N3vdmubNrXY7m_zzDmuDfH7j1Vfk3snZh1E2Oh0Pd8n9ZvoOx7xekM16sXR7ZMv-rKfV4qV3P0q-3Lb1_gb_YGgE |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3LattAFB1CmpZumj6Jmz4Gmm4KwiNpHtKiBNPENCQY0QeEbtSZ0agxpLJryTVZ9bv6d7l3JLmEluyy6MIIS4OQ5TP3MXPvOYTssagEp8t4ICMtAi6dDhLDbOBYbLFXt2SFp8w_UZNJcnqaZhvkd98Lg2WVvU30hrqYWVwjHybIJA7Ohg3LrioiOxjvz38EKCCFG629mkaLkGN3sYLsrX57dAB_9esoGh9-evc-6AQGAg12u4HJ5XiSSmGMk1I5IaxJnWWFMxo-RaGl5VyniYuNliI0pVIFNzYuosTINETBCLD-txSkmFhNmIkvPZQ5B0_NxZrJSnLmRdxCCXNahanoWgXBmw9xf2KYyFhiJfaWniKZ0RUvefsM0_PV9C934X3gePs_fnv3yb0u8KajdqY8IBuueki2e1EL2tm4R-TXqKpXeMI1FEtWljXFVdNvcArydnhumrUlbd_B6VMI-elo2cw88S39eFFBPF1PazorqW9tnrd9GDCqo4an2M9DP0B4HmD3Dc30AtVszvu71o_J5xt5DU_IZjWr3A6hKYSTWhmIaJ3mpYt1KsowtAq8WVFKEQ3IYQuPvDM0dZ5BAAcxG0MmXZQUTUM8eE4k3HFVV7_EKswhRBuQNz26cttRwaMiyXnuU0Ih_J3yFpMDsrcePG8ZUP497FUH0-tH7fb4_PMb1uB8eu3Vl-QOgDY_OZoc75K77a4eLoU9I5vNYumeky37s5nWixd-JlLy9abBewlg2HEo |
| 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=Answer+Set+versus+Integer+Linear+Programming+for+Automatic+Synthesis+of+Multiprocessor+Systems+from+Real-Time+Parallel+Programs&rft.jtitle=International+journal+of+reconfigurable+computing&rft.au=Ishebabi%2C+Harold&rft.au=Mahr%2C+Philipp&rft.au=Bobda%2C+Christophe&rft.au=Gebser%2C+Martin&rft.date=2009-01-01&rft.pub=Hindawi+Publishing+Corporation&rft.issn=1687-7195&rft.eissn=1687-7209&rft.volume=2009&rft_id=info:doi/10.1155%2F2009%2F863630&rft.externalDocID=10_1155_2009_863630 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1687-7195&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1687-7195&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1687-7195&client=summon |