Contextual abstraction in a type system for component-based high performance computing platforms
HTS (Hash Type System) is a type system designed for component-based high performance computing (CBHPC) platforms, aimed at reconciling portability, modularity by separation of concerns, a high-level of abstraction and high performance. Portability and modularity are properties of component-based sy...
Uloženo v:
| Vydáno v: | Science of computer programming Ročník 132; s. 96 - 128 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
15.12.2016
|
| Témata: | |
| ISSN: | 0167-6423, 1872-7964 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | HTS (Hash Type System) is a type system designed for component-based high performance computing (CBHPC) platforms, aimed at reconciling portability, modularity by separation of concerns, a high-level of abstraction and high performance. Portability and modularity are properties of component-based systems that have been extensively validated. For improving the performance of HPC applications, HTS introduces an automated approach for dynamically discovering, loading and binding parallel components tuned for the characteristics of the parallel computing platforms where the application will execute. To do so, it is based on contextual abstraction, where the performance of components that encapsulate parallel computations, communication patterns and data structures may be tuned according to the features of parallel computing platforms and the application requirements. In turn, for providing a higher level of abstraction in parallel programming, HTS supports an expressive approach for skeleton-based programming. A study of the safety properties of HTS using a calculus of component composition has provided solid foundations for the design of configuration languages for the safe specification and deployment of parallel components. The features of HTS are validated with three case studies that exercise the programming techniques behind contextual abstraction, including skeletons and performance tuning.
•HTS is a type system for automatic discovery of components in CBHPC platforms.•HTS implements contextual abstraction for component discovery in CBHPC platforms.•Contexts define component assumptions about their execution platform and application.•HTS supports parallel programming with skeletons.•We provide a set of formal proofs about safety properties of HTS. |
|---|---|
| AbstractList | HTS (Hash Type System) is a type system designed for component-based high performance computing (CBHPC) platforms, aimed at reconciling portability, modularity by separation of concerns, a high-level of abstraction and high performance. Portability and modularity are properties of component-based systems that have been extensively validated. For improving the performance of HPC applications, HTS introduces an automated approach for dynamically discovering, loading and binding parallel components tuned for the characteristics of the parallel computing platforms where the application will execute. To do so, it is based on contextual abstraction, where the performance of components that encapsulate parallel computations, communication patterns and data structures may be tuned according to the features of parallel computing platforms and the application requirements. In turn, for providing a higher level of abstraction in parallel programming, HTS supports an expressive approach for skeleton-based programming. A study of the safety properties of HTS using a calculus of component composition has provided solid foundations for the design of configuration languages for the safe specification and deployment of parallel components. The features of HTS are validated with three case studies that exercise the programming techniques behind contextual abstraction, including skeletons and performance tuning.
•HTS is a type system for automatic discovery of components in CBHPC platforms.•HTS implements contextual abstraction for component discovery in CBHPC platforms.•Contexts define component assumptions about their execution platform and application.•HTS supports parallel programming with skeletons.•We provide a set of formal proofs about safety properties of HTS. |
| Author | Rezende, Cenez Araújo Guimarães Al-Alam, Wagner Uchoa de Alencar, João Marcelo de Carvalho Junior, Francisco Heron de Carvalho Silva, Jefferson |
| Author_xml | – sequence: 1 givenname: Francisco Heron orcidid: 0000-0003-2286-2376 surname: de Carvalho Junior fullname: de Carvalho Junior, Francisco Heron email: heron@lia.ufc.br – sequence: 2 givenname: Cenez Araújo surname: Rezende fullname: Rezende, Cenez Araújo email: cenezaraujo@lia.ufc.br – sequence: 3 givenname: Jefferson surname: de Carvalho Silva fullname: de Carvalho Silva, Jefferson email: jeffersoncarvalho@lia.ufc.br – sequence: 4 givenname: Wagner surname: Guimarães Al-Alam fullname: Guimarães Al-Alam, Wagner – sequence: 5 givenname: João Marcelo orcidid: 0000-0002-7523-3242 surname: Uchoa de Alencar fullname: Uchoa de Alencar, João Marcelo email: joao.marcelo@lia.ufc.br |
| BookMark | eNqFkL1OwzAQgC1UJNrCE7D4BRLsOLGTgQFV_EmVWGA2jnNuXaVOZLuIvj1OYWKA6XQ_353uW6CZGxwgdE1JTgnlN7s8aKuHvEhJTkROSHWG5rQWRSYaXs7QPDVExsuCXaBFCDtCCC8FnaP31eAifMaD6rFqQ_RKRzs4bB1WOB5HwOEYIuyxGTzWw35Mh13MWhWgw1u72eIRfOrtldNwGjhE6zZ47FWcyuESnRvVB7j6iUv09nD_unrK1i-Pz6u7daYZYTFTVHfClKqtTaE6w4QqqTBFSzk3uuO60k1FS-C1FkCLplBGQ1PVnDDOwFSULRH73qv9EIIHI0dv98ofJSVykiR38iRJTpIkETJJSlTzi9I2qslAMmH7f9jbbxbSWx8W_DQDSUNnPegou8H-yX8BzsGJTQ |
| CitedBy_id | crossref_primary_10_1002_cpe_6225 crossref_primary_10_1016_j_scico_2018_04_004 crossref_primary_10_1016_j_scico_2019_102379 |
| Cites_doi | 10.1002/cpe.911 10.1016/j.jpdc.2012.12.007 10.1002/cpe.1121 10.1016/j.parco.2009.12.012 10.1007/s12243-008-0068-8 10.1002/cpe.908 10.1016/j.entcs.2007.08.029 10.1002/cpe.651 10.1016/j.procs.2010.04.234 10.1063/1.1881898 10.1007/s00366-006-0037-7 10.1145/1327452.1327492 10.1002/9780470558027 10.1016/j.parco.2006.04.001 10.1016/j.parco.2011.02.004 10.1145/2856125 10.1109/MC.2007.79 10.1109/JPROC.2008.917733 10.1177/1094342011414036 10.1109/MC.2003.1160055 10.1023/A:1019096607706 10.1007/s12243-009-0086-1 10.1002/cpe.1149 10.1016/j.parco.2003.12.002 |
| ContentType | Journal Article |
| Copyright | 2016 Elsevier B.V. |
| Copyright_xml | – notice: 2016 Elsevier B.V. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.scico.2016.07.005 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7964 |
| EndPage | 128 |
| ExternalDocumentID | 10_1016_j_scico_2016_07_005 S0167642316300892 |
| GroupedDBID | --K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 7-5 71M 8P~ 9JN AACTN AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO AAYFN ABBOA ABJNI ABMAC ABVKL ABYKQ ACDAQ ACGFS ACRLP ACZNC ADBBV ADEZE ADHUB AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF IHE IXB J1W KOM LG9 M26 M41 MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SDP SES SPC SPCBC SSV SSZ T5K TN5 XPP ZMT ~G- 9DU AAEDT AAQXK AATTM AAXKI AAYWO AAYXX ABFNM ABWVN ABXDB ACLOT ACNNM ACRPL ACVFH ADCNI ADMUD ADNMO ADVLN AEIPS AEUPX AFFNX AFJKZ AFPUW AGHFR AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CITATION EFKBS FGOYB G-2 HZ~ R2- SEW WUQ ZY4 ~HD |
| ID | FETCH-LOGICAL-c303t-a1cd7f4ab8f2adf37a417f2b166fcd6c5c9514e68c7e1292afce95860363ef513 |
| ISICitedReferencesCount | 5 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000388061900006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0167-6423 |
| IngestDate | Sat Nov 29 03:37:17 EST 2025 Tue Nov 18 22:14:22 EST 2025 Fri Feb 23 02:37:18 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Parallel programming Component-based software engineering High performance computing Component-based high performance computing Type systems |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c303t-a1cd7f4ab8f2adf37a417f2b166fcd6c5c9514e68c7e1292afce95860363ef513 |
| ORCID | 0000-0003-2286-2376 0000-0002-7523-3242 |
| PageCount | 33 |
| ParticipantIDs | crossref_primary_10_1016_j_scico_2016_07_005 crossref_citationtrail_10_1016_j_scico_2016_07_005 elsevier_sciencedirect_doi_10_1016_j_scico_2016_07_005 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-12-15 |
| PublicationDateYYYYMMDD | 2016-12-15 |
| PublicationDate_xml | – month: 12 year: 2016 text: 2016-12-15 day: 15 |
| PublicationDecade | 2010 |
| PublicationTitle | Science of computer programming |
| PublicationYear | 2016 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Grama, Gupta, Karypis, Kumar (br0280) 2003 Fan, Qiu, Kaufman, Yoakum Stover (br0050) 2004 Cole (br0300) 2004; 30 Cole (br0290) 1989 Sussman (br0450) 2006; 22 Dean, Ghemawat (br0630) 2008; 51 Pierce (br0680) 2002 Bruneton, Coupaye, Stefani (br0130) 2002 ECMA International (br0670) Jun. 2006 Bertrand, Bramley (br0210) 2004 Herbordt, VanCourt, Gu, Sukhwani, Conti, Model, DiSabello (br0060) 2007; 40 Szyperski (br0090) 1999 br0460 Malawski, Bubak, Baude, Caromel, Henrio, Morel (br0690) 2007 Yoon, Browne, Crocker, Jain, Mahmood (br0570) 2007; 19 Armstrong, Kumfert, McInnes, Parker, Allan, Sottile, Epperly, Tamara (br0120) 2006; 18 Wang, Qian (br0110) 2005 Forum (br0220) Jul. 2009 Mahmood, Deng, Browne (br0560) 2004; vol. 2958 Allan, Armstrong, Wolfe, Ray, Bernholdt, Kohl (br0200) 2002; 14 Baude, Caromel, Henrio, Morel (br0480) 2007 André, Buisson, Pazat (br0540) 2004 de Carvalho Junior, Lins (br0250) 2005; 8 Parashar, Li, Parker, Damevski, Khan, Swaminathan, Johnson (br0490) 2009 Courtrai, Guidec, Le Sommer, Maheo (br0580) 2003 Krishnan, Alexeev, Windus, Nieplocha (br0430) 2005 Andrzejak, Reinefeld, Schintke, Schütt (br0550) 2006 Antonopoulos, Gillam (br0020) 2011 Amedro, Baude, Caromel, Delbe, Filali, Huet, Mathias, Smirnov (br0240) 2010 Krishnan, Gannon (br0160) 2004 Pérez, Priol, Ribes (br0380) 2002; vol. 2536 Aldinucci, Campa, Danelutto, Vanneschi, Kilpatrick, Dazzi, Laforenza, Tonellotto (br0590) 2008 Dennis, Pérez, Priol (br0370) 2001 Kephart, Chess (br0520) 2003; 36 Keahey, Gannon (br0350) 1997 Duran, Klemm (br0070) 2012 Baude, Caromel, Morel (br0470) 2003 Danelutto, Aldinucci (br0600) 2006; 32 de Carvalho Junior, Correa (br0270) 2010 de Carvalho Junior, Correa, Lins, Silva, Araújo (br0500) 2007 Foster, Kesselman (br0010) 2004 Zhang, Damevski, Venkatachalapathy, Parker (br0170) 2004 (br0640) 2013 Post, Votta (br0030) 2005; 58 Buono, Danelutto, Lametti (br0310) 2010; 1 Plimpton, Devine (br0650) 2011; 37 Blair, Coupaye, Stefani (br0230) 2009; 64 Malawski, Kurzyniec, Sunderam (br0180) 2005 Bertran, Bramley, Sussman, Bernholdt, Kohl, Larson, Damevski (br0440) 2005 de Carvalho Junior, Lins, Correa, Araújo (br0260) 2007; 19 Bouziane, Perez, Priol (br0400) 2010; 36 de Carvalho Junior, Lins (br0320) 2008; 195 (br0510) 2006 Milli, Elkharraz, Mcheick (br0340) 2004 van der Steen (br0150) 2006; 18 René, Priol (br0360) 2000; 3 de Carvalho Junior, Lins (br0620) 2003 Baude, Caromel, Dalmasso, Danelutto, Getov, Henrio, Prez (br0140) 2009; 64 Leavens, Sitaraman (br0100) 2000 Dünnweber, Gorlatch (br0610) 2009 Liu, Parashar (br0530) 2005 Object Management Group (br0390) Jan. 2006 Armstrong, Gannon, Geist, Keahey, Kohn, McInnes, Parker, Smolinski (br0410) 1999 Leavens (br0330) 2000 Bailey, Harris, Shapir, van der Wijngaart, Woo, Yarrow (br0660) Dec. 1995 Hall, Gil, Lucas (br0080) 2008; 96 de Carvalho Junior, Rezende (br0190) 2013; 73 Epperly, Kumfert, Dahlgren, Ebner, Leek, Prantl, Kohn (br0420) 2012; 26 Mittal (br0040) 2016; 48 Bouziane (10.1016/j.scico.2016.07.005_br0400) 2010; 36 Blair (10.1016/j.scico.2016.07.005_br0230) 2009; 64 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0260) 2007; 19 Andrzejak (10.1016/j.scico.2016.07.005_br0550) 2006 Yoon (10.1016/j.scico.2016.07.005_br0570) 2007; 19 Hall (10.1016/j.scico.2016.07.005_br0080) 2008; 96 Amedro (10.1016/j.scico.2016.07.005_br0240) 2010 Antonopoulos (10.1016/j.scico.2016.07.005_br0020) 2011 Danelutto (10.1016/j.scico.2016.07.005_br0600) 2006; 32 Kephart (10.1016/j.scico.2016.07.005_br0520) 2003; 36 van der Steen (10.1016/j.scico.2016.07.005_br0150) 2006; 18 Courtrai (10.1016/j.scico.2016.07.005_br0580) 2003 Milli (10.1016/j.scico.2016.07.005_br0340) 2004 Malawski (10.1016/j.scico.2016.07.005_br0180) 2005 Pierce (10.1016/j.scico.2016.07.005_br0680) 2002 Sussman (10.1016/j.scico.2016.07.005_br0450) 2006; 22 Epperly (10.1016/j.scico.2016.07.005_br0420) 2012; 26 Bailey (10.1016/j.scico.2016.07.005_br0660) 1995 Fan (10.1016/j.scico.2016.07.005_br0050) 2004 Parashar (10.1016/j.scico.2016.07.005_br0490) 2009 Cole (10.1016/j.scico.2016.07.005_br0290) 1989 Krishnan (10.1016/j.scico.2016.07.005_br0160) 2004 Duran (10.1016/j.scico.2016.07.005_br0070) 2012 Forum (10.1016/j.scico.2016.07.005_br0220) 2009 Liu (10.1016/j.scico.2016.07.005_br0530) 2005 André (10.1016/j.scico.2016.07.005_br0540) 2004 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0270) 2010 Object Management Group (10.1016/j.scico.2016.07.005_br0390) 2006 Armstrong (10.1016/j.scico.2016.07.005_br0410) 1999 Armstrong (10.1016/j.scico.2016.07.005_br0120) 2006; 18 ECMA International (10.1016/j.scico.2016.07.005_br0670) 2006 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0190) 2013; 73 Baude (10.1016/j.scico.2016.07.005_br0140) 2009; 64 Cole (10.1016/j.scico.2016.07.005_br0300) 2004; 30 Aldinucci (10.1016/j.scico.2016.07.005_br0590) 2008 Zhang (10.1016/j.scico.2016.07.005_br0170) 2004 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0500) 2007 Malawski (10.1016/j.scico.2016.07.005_br0690) 2007 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0320) 2008; 195 Keahey (10.1016/j.scico.2016.07.005_br0350) 1997 Post (10.1016/j.scico.2016.07.005_br0030) 2005; 58 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0250) 2005; 8 Mahmood (10.1016/j.scico.2016.07.005_br0560) 2004; vol. 2958 Foster (10.1016/j.scico.2016.07.005_br0010) 2004 Dennis (10.1016/j.scico.2016.07.005_br0370) 2001 Leavens (10.1016/j.scico.2016.07.005_br0330) 2000 Bertrand (10.1016/j.scico.2016.07.005_br0210) 2004 Baude (10.1016/j.scico.2016.07.005_br0470) 2003 Dünnweber (10.1016/j.scico.2016.07.005_br0610) 2009 Dean (10.1016/j.scico.2016.07.005_br0630) 2008; 51 Baude (10.1016/j.scico.2016.07.005_br0480) 2007 Buono (10.1016/j.scico.2016.07.005_br0310) 2010; 1 Krishnan (10.1016/j.scico.2016.07.005_br0430) 2005 Leavens (10.1016/j.scico.2016.07.005_br0100) 2000 Bertran (10.1016/j.scico.2016.07.005_br0440) 2005 Herbordt (10.1016/j.scico.2016.07.005_br0060) 2007; 40 Mittal (10.1016/j.scico.2016.07.005_br0040) 2016; 48 Grama (10.1016/j.scico.2016.07.005_br0280) 2003 Plimpton (10.1016/j.scico.2016.07.005_br0650) 2011; 37 Allan (10.1016/j.scico.2016.07.005_br0200) 2002; 14 Bruneton (10.1016/j.scico.2016.07.005_br0130) 2002 Pérez (10.1016/j.scico.2016.07.005_br0380) 2002; vol. 2536 de Carvalho Junior (10.1016/j.scico.2016.07.005_br0620) 2003 Szyperski (10.1016/j.scico.2016.07.005_br0090) 1999 Wang (10.1016/j.scico.2016.07.005_br0110) 2005 René (10.1016/j.scico.2016.07.005_br0360) 2000; 3 |
| References_xml | – year: Jun. 2006 ident: br0670 article-title: Common Language Infrastructure (CLI), Partitions I to VI – volume: 36 start-page: 86 year: 2010 end-page: 103 ident: br0400 article-title: Extending software component models with the master–worker paradigm publication-title: Parallel Comput. – year: 2004 ident: br0010 article-title: The Grid 2: Blueprint for a New Computing Infrastructure – volume: 36 start-page: 41 year: 2003 end-page: 50 ident: br0520 article-title: The vision of autonomic computing publication-title: Computer – year: 2011 ident: br0020 article-title: Cloud Computing: Principles, Systems and Applications publication-title: Computer Communications and Networks – year: 2009 ident: br0490 article-title: Advanced Computational Infrastructures for Parallel/Distributed Adaptive Applications publication-title: The SCIJump Framework for Parallel and Distributed Scientific Computing – start-page: 47 year: 2004 ident: br0050 article-title: GPU cluster for high performance computing publication-title: Proceedings of the 2004 ACM/IEEE Conference on Supercomputing – start-page: 365 year: 2012 end-page: 366 ident: br0070 article-title: The Intel many integrated core architecture publication-title: 2012 International Conference on High Performance Computing and Simulation (HPCS) – start-page: 163 year: 2010 end-page: 178 ident: br0240 article-title: An efficient framework for running applications on clusters, grids and clouds – start-page: 95 year: 2007 end-page: 105 ident: br0690 article-title: Interoperability of grid component models: GCM and CCA case study publication-title: CoreGRID – year: 2005 ident: br0440 article-title: Data redistribution and remote method invocation in parallel component architectures publication-title: 19th IEEE International Parallel and Distributed Processing Symposium – year: Dec. 1995 ident: br0660 article-title: The NAS parallel benchmarks 2.0 – start-page: 113 year: 2000 end-page: 135 ident: br0330 article-title: Concepts of behavioral subtyping and a sketch of their extension to component-based systems publication-title: Foundations of Component Based Systems – volume: 26 start-page: 260 year: 2012 end-page: 274 ident: br0420 article-title: High-performance language interoperability for scientific computing through Babel publication-title: Int. J. High Perform. Comput. Appl. – start-page: 23 year: 2005 end-page: 31 ident: br0430 article-title: Multilevel parallelism in computational chemistry using common component architecture and global arrays publication-title: Proceedings of the 2005 ACM/IEEE Conference on Supercomputing – start-page: 237 year: 2007 end-page: 244 ident: br0500 article-title: High level service connectors for components-based high performance computing publication-title: Proceedings of the 19th International Symposium on Computer Architecture and High Performance Computing – volume: 32 start-page: 449 year: 2006 end-page: 462 ident: br0600 article-title: Algorithmic skeletons meeting grids publication-title: Parallel Comput. – year: 1999 ident: br0090 article-title: Component Software: Beyond Object-Oriented Programming – volume: 195 start-page: 113 year: 2008 end-page: 132 ident: br0320 article-title: An institutional theory for #-components publication-title: Electron. Notes Theor. Comput. Sci. – volume: 40 start-page: 50 year: 2007 end-page: 57 ident: br0060 article-title: Achieving high performance with FPGA-based computing publication-title: Computer – year: 2013 ident: br0640 article-title: Apache Hadoop project – year: Jul. 2009 ident: br0220 article-title: Proposal: MPI for CCA components – volume: 73 start-page: 557 year: 2013 end-page: 569 ident: br0190 article-title: A case study on expressiveness and performance of component-oriented parallel programming publication-title: J. Parallel Distrib. Comput. – start-page: 7 year: 2003 ident: br0580 article-title: Resource management for parallel adaptive components publication-title: Proceedings of the 2003 International Parallel and Distributed Processing Symposium – volume: 1 start-page: 2095 year: 2010 end-page: 2103 ident: br0310 article-title: Map, reduce and MapReduce, the skeleton way publication-title: Proc. Comput. Sci. – volume: vol. 2958 year: 2004 ident: br0560 article-title: Compositional development of parallel programs publication-title: Languages and Compilers for Parallel Computing – volume: 8 start-page: 621 year: 2005 end-page: 638 ident: br0250 article-title: Separation of concerns for improving practice of parallel programming publication-title: Information – year: 2005 ident: br0180 article-title: MOCCA – towards a distributed CCA framework for metacomputing publication-title: Proceedings of the Joint Workshop on High-Performance Grid Computing and High-Level Parallel Programming Models – year: 2009 ident: br0610 article-title: Higher-Order Components for Grid Programming – volume: 18 start-page: 215 year: 2006 end-page: 229 ident: br0120 article-title: The CCA component model for high-performance scientific computing publication-title: Concurr. Comput., Pract. Exp. – volume: 19 start-page: 697 year: 2007 end-page: 719 ident: br0260 article-title: Towards an architecture for component-oriented parallel programming publication-title: Concurr. Comput., Pract. Exp. – year: 2004 ident: br0210 article-title: DCA: a distributed CCA framework based on MPI publication-title: Proceedings of the 9th International Workshop on Highlevel Parallel Programming Models and Supportive Environments – volume: 64 start-page: 1 year: 2009 end-page: 4 ident: br0230 article-title: Component-based architecture: the fractal initiative publication-title: Ann. Télécommun. – year: 2006 ident: br0510 article-title: The Mono project – start-page: 54 year: 2008 end-page: 63 ident: br0590 article-title: Behavioural skeletons in GCM: autonomic management of grid components publication-title: Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing – year: 2002 ident: br0130 article-title: Recursive and dynamic software composition with sharing publication-title: European Conference on Object Oriented Programming – start-page: 31 year: 1997 end-page: 39 ident: br0350 article-title: PARDIS: a parallel approach to CORBA publication-title: Proc. of the 6th IEEE Intl. Symposium on High Performance Distributed Computing – year: 2005 ident: br0110 article-title: Component-Oriented Programming – volume: 51 start-page: 107 year: 2008 end-page: 113 ident: br0630 article-title: MapReduce: simplified data processing on large clusters publication-title: Commun. ACM – volume: 30 start-page: 389 year: 2004 end-page: 406 ident: br0300 article-title: Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming publication-title: Parallel Comput. – year: Jan. 2006 ident: br0390 article-title: OMG Standard, Data parallel CORBA, v1.0 – year: 1989 ident: br0290 article-title: Algorithm Skeletons: Structured Management of Parallel Computation – volume: 22 start-page: 311 year: 2006 end-page: 323 ident: br0450 article-title: Building complex coupled physical simulations on the grid with InterComm publication-title: Eng. Comput. – start-page: 1226 year: 2003 end-page: 1242 ident: br0470 article-title: From distributed objects to hierarchical grid components publication-title: International Symposium on Distributed Objects and Applications – volume: 37 start-page: 610 year: 2011 end-page: 632 ident: br0650 article-title: MapReduce in MPI for large-scale graph algorithms publication-title: Parallel Comput. – volume: 64 start-page: 5 year: 2009 end-page: 24 ident: br0140 article-title: GCM: a grid extension to fractal for autonomous distributed components publication-title: Ann. Télécommun. – start-page: 143 year: 2004 end-page: 156 ident: br0540 article-title: Dynamic adaptation of parallel codes: toward self-adaptable components for the grid publication-title: Proceedings of the Workshop on Component Models and Systems for Grid Applications – start-page: 29 year: 2006 end-page: 46 ident: br0550 article-title: On adaptability in grid systems publication-title: Future Generation Grids – volume: vol. 2536 start-page: 88 year: 2002 end-page: 99 ident: br0380 article-title: A parallel corba component model for numerical code coupling publication-title: Proc. of the 3rd Intl. Workshop on Grid Computing – year: 2000 ident: br0100 article-title: Foundations of Component Based Systems – volume: 19 start-page: 721 year: 2007 end-page: 742 ident: br0570 article-title: Productivity and performance through components: the ASCI Sweep3D application publication-title: Concurr. Comput., Pract. Exp. – volume: 14 start-page: 323 year: 2002 end-page: 345 ident: br0200 article-title: The CCA core specification in a distributed memory SPMD framework publication-title: Concurr. Comput., Pract. Exp. – volume: 58 start-page: 35 year: 2005 end-page: 41 ident: br0030 article-title: Computational science demands a new paradigm publication-title: Phys. Today – year: 2007 ident: br0480 article-title: Collective interfaces for distributed components publication-title: 7th International Symposium on Cluster Computing and the Grid – start-page: 835 year: 2001 end-page: 844 ident: br0370 article-title: Portable parallel CORBA objects publication-title: Prof. of the 7th Intl. Europar'2001 Conference – volume: 96 start-page: 849 year: 2008 end-page: 862 ident: br0080 article-title: Self-configuring applications for heterogeneous systems: program composition and optimization using cognitive techniques publication-title: Proc. IEEE – year: 2002 ident: br0680 article-title: Types and Programming Languages – year: 2003 ident: br0620 article-title: Topological skeletons in Haskell publication-title: International Parallel and Distributed Processing Symposium – year: 2004 ident: br0160 article-title: XCAT3: a framework for CCA components as OGSA services publication-title: Proceedings of the HIPS2004 – 9th International Workshop on Highlevel Parallel Programming Models and Supportive Environments – volume: 3 start-page: 255 year: 2000 end-page: 263 ident: br0360 article-title: MPI code encapsulating using parallel CORBA object publication-title: Clust. Comput. – start-page: 59 year: 2005 end-page: 68 ident: br0530 article-title: Enabling self-management of component-based high-performance scientific applications publication-title: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing – start-page: 411 year: 2004 end-page: 428 ident: br0340 article-title: Understanding separation of concerns publication-title: Workshop on Early Aspects – Aspect Oriented Software Development – volume: 18 start-page: 141 year: 2006 end-page: 150 ident: br0150 article-title: Issues in computational frameworks publication-title: Concurr. Comput., Pract. Exp. – start-page: 339 year: 2010 end-page: 348 ident: br0270 article-title: The design of a CCA framework with distribution, parallelism, and recursive composition publication-title: Workshop on Component-Based High Performance Computing – year: 2003 ident: br0280 article-title: Introduction to Parallel Computing – ident: br0460 – volume: 48 start-page: 45:1 year: 2016 end-page: 45:38 ident: br0040 article-title: A survey of techniques for architecting and managing asymmetric multicore processors publication-title: ACM Comput. Surv. – year: 1999 ident: br0410 article-title: Towards a common component architecture for high-performance scientific computing publication-title: The 8th IEEE International Symposium on High Performance Distributed Computing – year: 2004 ident: br0170 article-title: SCIRun2: a CCA framework for high performance computing publication-title: Proceedings of the 9th International Workshop on Highlevel Parallel Programming Models and Supportive Environments – year: 2004 ident: 10.1016/j.scico.2016.07.005_br0170 article-title: SCIRun2: a CCA framework for high performance computing – year: 2004 ident: 10.1016/j.scico.2016.07.005_br0210 article-title: DCA: a distributed CCA framework based on MPI – volume: 18 start-page: 215 issue: 2 year: 2006 ident: 10.1016/j.scico.2016.07.005_br0120 article-title: The CCA component model for high-performance scientific computing publication-title: Concurr. Comput., Pract. Exp. doi: 10.1002/cpe.911 – volume: 73 start-page: 557 issue: 5 year: 2013 ident: 10.1016/j.scico.2016.07.005_br0190 article-title: A case study on expressiveness and performance of component-oriented parallel programming publication-title: J. Parallel Distrib. Comput. doi: 10.1016/j.jpdc.2012.12.007 – start-page: 7 year: 2003 ident: 10.1016/j.scico.2016.07.005_br0580 article-title: Resource management for parallel adaptive components – volume: 19 start-page: 697 issue: 5 year: 2007 ident: 10.1016/j.scico.2016.07.005_br0260 article-title: Towards an architecture for component-oriented parallel programming publication-title: Concurr. Comput., Pract. Exp. doi: 10.1002/cpe.1121 – year: 2006 ident: 10.1016/j.scico.2016.07.005_br0390 – volume: 36 start-page: 86 issue: 2–3 year: 2010 ident: 10.1016/j.scico.2016.07.005_br0400 article-title: Extending software component models with the master–worker paradigm publication-title: Parallel Comput. doi: 10.1016/j.parco.2009.12.012 – start-page: 835 year: 2001 ident: 10.1016/j.scico.2016.07.005_br0370 article-title: Portable parallel CORBA objects – year: 2007 ident: 10.1016/j.scico.2016.07.005_br0480 article-title: Collective interfaces for distributed components – volume: 64 start-page: 5 issue: 1 year: 2009 ident: 10.1016/j.scico.2016.07.005_br0140 article-title: GCM: a grid extension to fractal for autonomous distributed components publication-title: Ann. Télécommun. doi: 10.1007/s12243-008-0068-8 – volume: 18 start-page: 141 issue: 2 year: 2006 ident: 10.1016/j.scico.2016.07.005_br0150 article-title: Issues in computational frameworks publication-title: Concurr. Comput., Pract. Exp. doi: 10.1002/cpe.908 – year: 1995 ident: 10.1016/j.scico.2016.07.005_br0660 – year: 2006 ident: 10.1016/j.scico.2016.07.005_br0670 – volume: vol. 2958 year: 2004 ident: 10.1016/j.scico.2016.07.005_br0560 article-title: Compositional development of parallel programs – volume: 195 start-page: 113 year: 2008 ident: 10.1016/j.scico.2016.07.005_br0320 article-title: An institutional theory for #-components publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2007.08.029 – year: 2004 ident: 10.1016/j.scico.2016.07.005_br0010 – year: 2004 ident: 10.1016/j.scico.2016.07.005_br0160 article-title: XCAT3: a framework for CCA components as OGSA services – volume: 14 start-page: 323 issue: 5 year: 2002 ident: 10.1016/j.scico.2016.07.005_br0200 article-title: The CCA core specification in a distributed memory SPMD framework publication-title: Concurr. Comput., Pract. Exp. doi: 10.1002/cpe.651 – volume: 1 start-page: 2095 issue: 1 year: 2010 ident: 10.1016/j.scico.2016.07.005_br0310 article-title: Map, reduce and MapReduce, the skeleton way publication-title: Proc. Comput. Sci. doi: 10.1016/j.procs.2010.04.234 – start-page: 29 year: 2006 ident: 10.1016/j.scico.2016.07.005_br0550 article-title: On adaptability in grid systems – start-page: 95 year: 2007 ident: 10.1016/j.scico.2016.07.005_br0690 article-title: Interoperability of grid component models: GCM and CCA case study – volume: 58 start-page: 35 issue: 1 year: 2005 ident: 10.1016/j.scico.2016.07.005_br0030 article-title: Computational science demands a new paradigm publication-title: Phys. Today doi: 10.1063/1.1881898 – volume: 22 start-page: 311 issue: 3 year: 2006 ident: 10.1016/j.scico.2016.07.005_br0450 article-title: Building complex coupled physical simulations on the grid with InterComm publication-title: Eng. Comput. doi: 10.1007/s00366-006-0037-7 – volume: 51 start-page: 107 issue: 1 year: 2008 ident: 10.1016/j.scico.2016.07.005_br0630 article-title: MapReduce: simplified data processing on large clusters publication-title: Commun. ACM doi: 10.1145/1327452.1327492 – year: 2002 ident: 10.1016/j.scico.2016.07.005_br0680 – year: 1999 ident: 10.1016/j.scico.2016.07.005_br0410 article-title: Towards a common component architecture for high-performance scientific computing – start-page: 54 year: 2008 ident: 10.1016/j.scico.2016.07.005_br0590 article-title: Behavioural skeletons in GCM: autonomic management of grid components – year: 2009 ident: 10.1016/j.scico.2016.07.005_br0490 article-title: Advanced Computational Infrastructures for Parallel/Distributed Adaptive Applications doi: 10.1002/9780470558027 – start-page: 237 year: 2007 ident: 10.1016/j.scico.2016.07.005_br0500 article-title: High level service connectors for components-based high performance computing – start-page: 1226 year: 2003 ident: 10.1016/j.scico.2016.07.005_br0470 article-title: From distributed objects to hierarchical grid components – year: 2000 ident: 10.1016/j.scico.2016.07.005_br0100 – volume: vol. 2536 start-page: 88 year: 2002 ident: 10.1016/j.scico.2016.07.005_br0380 article-title: A parallel corba component model for numerical code coupling – year: 2003 ident: 10.1016/j.scico.2016.07.005_br0620 article-title: Topological skeletons in Haskell# – year: 2003 ident: 10.1016/j.scico.2016.07.005_br0280 – volume: 32 start-page: 449 issue: 7 year: 2006 ident: 10.1016/j.scico.2016.07.005_br0600 article-title: Algorithmic skeletons meeting grids publication-title: Parallel Comput. doi: 10.1016/j.parco.2006.04.001 – start-page: 163 year: 2010 ident: 10.1016/j.scico.2016.07.005_br0240 – volume: 37 start-page: 610 issue: 9 year: 2011 ident: 10.1016/j.scico.2016.07.005_br0650 article-title: MapReduce in MPI for large-scale graph algorithms publication-title: Parallel Comput. doi: 10.1016/j.parco.2011.02.004 – volume: 48 start-page: 45:1 issue: 3 year: 2016 ident: 10.1016/j.scico.2016.07.005_br0040 article-title: A survey of techniques for architecting and managing asymmetric multicore processors publication-title: ACM Comput. Surv. doi: 10.1145/2856125 – volume: 40 start-page: 50 year: 2007 ident: 10.1016/j.scico.2016.07.005_br0060 article-title: Achieving high performance with FPGA-based computing publication-title: Computer doi: 10.1109/MC.2007.79 – start-page: 365 year: 2012 ident: 10.1016/j.scico.2016.07.005_br0070 article-title: The Intel many integrated core architecture – volume: 96 start-page: 849 issue: 5 year: 2008 ident: 10.1016/j.scico.2016.07.005_br0080 article-title: Self-configuring applications for heterogeneous systems: program composition and optimization using cognitive techniques publication-title: Proc. IEEE doi: 10.1109/JPROC.2008.917733 – start-page: 411 year: 2004 ident: 10.1016/j.scico.2016.07.005_br0340 article-title: Understanding separation of concerns – start-page: 31 year: 1997 ident: 10.1016/j.scico.2016.07.005_br0350 article-title: PARDIS: a parallel approach to CORBA – volume: 26 start-page: 260 issue: 3 year: 2012 ident: 10.1016/j.scico.2016.07.005_br0420 article-title: High-performance language interoperability for scientific computing through Babel publication-title: Int. J. High Perform. Comput. Appl. doi: 10.1177/1094342011414036 – year: 2005 ident: 10.1016/j.scico.2016.07.005_br0110 – volume: 36 start-page: 41 issue: 1 year: 2003 ident: 10.1016/j.scico.2016.07.005_br0520 article-title: The vision of autonomic computing publication-title: Computer doi: 10.1109/MC.2003.1160055 – start-page: 143 year: 2004 ident: 10.1016/j.scico.2016.07.005_br0540 article-title: Dynamic adaptation of parallel codes: toward self-adaptable components for the grid – start-page: 113 year: 2000 ident: 10.1016/j.scico.2016.07.005_br0330 article-title: Concepts of behavioral subtyping and a sketch of their extension to component-based systems – volume: 3 start-page: 255 year: 2000 ident: 10.1016/j.scico.2016.07.005_br0360 article-title: MPI code encapsulating using parallel CORBA object publication-title: Clust. Comput. doi: 10.1023/A:1019096607706 – year: 2002 ident: 10.1016/j.scico.2016.07.005_br0130 article-title: Recursive and dynamic software composition with sharing – start-page: 23 year: 2005 ident: 10.1016/j.scico.2016.07.005_br0430 article-title: Multilevel parallelism in computational chemistry using common component architecture and global arrays – start-page: 59 year: 2005 ident: 10.1016/j.scico.2016.07.005_br0530 article-title: Enabling self-management of component-based high-performance scientific applications – year: 1989 ident: 10.1016/j.scico.2016.07.005_br0290 – volume: 64 start-page: 1 year: 2009 ident: 10.1016/j.scico.2016.07.005_br0230 article-title: Component-based architecture: the fractal initiative publication-title: Ann. Télécommun. doi: 10.1007/s12243-009-0086-1 – volume: 19 start-page: 721 issue: 5 year: 2007 ident: 10.1016/j.scico.2016.07.005_br0570 article-title: Productivity and performance through components: the ASCI Sweep3D application publication-title: Concurr. Comput., Pract. Exp. doi: 10.1002/cpe.1149 – year: 2011 ident: 10.1016/j.scico.2016.07.005_br0020 article-title: Cloud Computing: Principles, Systems and Applications – volume: 8 start-page: 621 issue: 5 year: 2005 ident: 10.1016/j.scico.2016.07.005_br0250 article-title: Separation of concerns for improving practice of parallel programming publication-title: Information – start-page: 47 year: 2004 ident: 10.1016/j.scico.2016.07.005_br0050 article-title: GPU cluster for high performance computing – year: 2005 ident: 10.1016/j.scico.2016.07.005_br0180 article-title: MOCCA – towards a distributed CCA framework for metacomputing – year: 2005 ident: 10.1016/j.scico.2016.07.005_br0440 article-title: Data redistribution and remote method invocation in parallel component architectures – year: 2009 ident: 10.1016/j.scico.2016.07.005_br0610 – year: 1999 ident: 10.1016/j.scico.2016.07.005_br0090 – start-page: 339 year: 2010 ident: 10.1016/j.scico.2016.07.005_br0270 article-title: The design of a CCA framework with distribution, parallelism, and recursive composition – year: 2009 ident: 10.1016/j.scico.2016.07.005_br0220 – volume: 30 start-page: 389 issue: 3 year: 2004 ident: 10.1016/j.scico.2016.07.005_br0300 article-title: Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming publication-title: Parallel Comput. doi: 10.1016/j.parco.2003.12.002 |
| SSID | ssj0006471 |
| Score | 2.142803 |
| Snippet | HTS (Hash Type System) is a type system designed for component-based high performance computing (CBHPC) platforms, aimed at reconciling portability, modularity... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 96 |
| SubjectTerms | Component-based high performance computing Component-based software engineering High performance computing Parallel programming Type systems |
| Title | Contextual abstraction in a type system for component-based high performance computing platforms |
| URI | https://dx.doi.org/10.1016/j.scico.2016.07.005 |
| Volume | 132 |
| WOSCitedRecordID | wos000388061900006&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7964 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9NAEF6FlAMX3ojy0h64BSOvH2v7aKoiqFCFoEBuZj3ZhVTGqfJS1J_JL2L25Zi2iuiBi2Wt4rWd-TwzO_vNDCEvQ6bCaFKrAE0dBAlXNX5SKgwSyGURA4Rgdky_fsiOj_PxuPg4GPz2uTDrJmvbfLMpzv6rqHEMha1TZ68h7m5SHMBzFDoeUex4_CfBm3pTG5MWImodyADPZxQ24GqLNxt-oSaUz1q0O4G2ZpORLl6sKxl3uQRgmj6YjPVGLPXwou_Oes3guOm6PYRnfP3yNtGyZA90D6Lm52x0tGqnNkTgenrADG3ffMsG-CTPdVjeRHBREZ-PyrnQ2_lv8PWvmvDztFkLn5Rm1g8dp2ilK2kYKkAsF6OyCUqH_2_iR-toyS7iwUyfIJvz6YOgqNxx3RT_pcVdmNTq4YL3LDqz6eeXjIWNW5y-Rl8DdB4os3Vcw3RrGz0f4ILJ7IiMniN3WplJKj1JFeot_fQG2YuytMiHZK98fzg-6vwDbsMA3Vv4WliGdXjpWa72l3o-0MldctstXmhpQXePDGR7n9zxjUGoQ8MD8n2LQdrDIJ22VFCNQWoxSBFQ9AIGqcYg7WGQdhikHQYfki9vD08O3gWulUcA6CMtA8FgkqlE1LmKxETFmUhYpqKaca5gwiEF9PQTyXPIJHqgkVAgizTnmmYgVcriR2TY4rM8JlRldZGHguNKARLBVKFkxiBUNciEFTLfJ5H_wypwde51u5Wm2iGsffKqu-jMlnnZ_XPuJVE5T9V6oBVia9eFT653n6fk1vYDeEaGy_lKPic3Yb2cLuYvHLD-APlOvKs |
| linkProvider | Elsevier |
| 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=Contextual+abstraction+in+a+type+system+for+component-based+high+performance+computing+platforms&rft.jtitle=Science+of+computer+programming&rft.au=de+Carvalho+Junior%2C+Francisco+Heron&rft.au=Rezende%2C+Cenez+Ara%C3%BAjo&rft.au=de+Carvalho+Silva%2C+Jefferson&rft.au=Guimar%C3%A3es+Al-Alam%2C+Wagner&rft.date=2016-12-15&rft.issn=0167-6423&rft.volume=132&rft.spage=96&rft.epage=128&rft_id=info:doi/10.1016%2Fj.scico.2016.07.005&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_scico_2016_07_005 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon |