Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis

Συγγραφείς: Li, H., Tan, T., Li, Y., Lu, J., Meng, H., Cao, L., Huang, Y., Li, L., Gao, L., Di, P., Lin, L., Cui, C.

Πηγή: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(5):1144-1162 May, 2024

An interleaved hardware-accelerated k-mer parser

Συγγραφείς: Milicchio, Franco, Oliva, Marco, Prosperi, Mattia

Πηγή: 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) Bioinformatics and Biomedicine (BIBM), 2022 IEEE International Conference on. :2929-2933 Dec, 2022

Relation: 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

Exploiting dynamic sparse matrices for performance portable linear algebra operations

Συγγραφείς: Stylianou, Christodoulos, Weiland, Michele

Πηγή: 2022 IEEE/ACM International Workshop on Performance, Portability and Productivity in HPC (P3HPC) P3HPC Performance, Portability and Productivity in HPC (P3HPC), 2022 IEEE/ACM International Workshop on. :47-57 Nov, 2022

Relation: 2022 IEEE/ACM International Workshop on Performance, Portability and Productivity in HPC (P3HPC)

Use Site Checking Considered Harmful

Συγγραφείς: Racordon, Dimi, Chung, Benjamin

Πηγή: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. :275-287

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3689492.3689814

RMACXX: An Efficient High-Level C++ Interface over MPI-3 RMA

Συγγραφείς: Ghosh, Sayan, Guo, Yanfei, Balaji, Pavan, Gebremedhin, Assefaw H.

Πηγή: 2021 IEEE/ACM 21st International Symposium on Cluster, Cloud and Internet Computing (CCGrid) CCGRID Cluster, Cloud and Internet Computing (CCGrid), 2021 IEEE/ACM 21st International Symposium on. :143-155 May, 2021

Relation: 2021 IEEE/ACM 21st International Symposium on Cluster, Cloud and Internet Computing (CCGrid)

Associated Effects: Flexible Abstractions for Effectful Programming

Συγγραφείς: Matthew Lutze, Magnus Madsen

Πηγή: Lutze, M & Madsen, M 2024, 'Associated Effects : Flexible Abstractions for Effectful Programming', Proceedings of the ACM on Programming Languages, vol. 8, 163. https://doi.org/10.1145/3656393

Θεματικοί όροι: type functions, ad-hoc polymorphism, effect systems, associated types, associated effects, type classes, generic programming

Σύνδεσμος πρόσβασης: https://pure.au.dk/portal/en/publications/e82851a3-c39f-4392-8928-294eda5797f6
http://www.scopus.com/inward/record.url?scp=85196850530&partnerID=8YFLogxK
https://doi.org/10.1145/3656393

Early prediction of battery life using an interpretable health indicator with evolutionary computing

Συγγραφείς: Xing, Xueqi, Yan, Tongtong ^⁎, Xia, Min ^⁎

Πηγή: In Reliability Engineering and System Safety August 2025 260

A Modern C++ Point of View of Programming in Image Processing

Συγγραφείς: Roynard, Michaël, Carlinet, Edwin, Géraud, Thierry

Συνεισφορές: Roynard, Michaël

Πηγή: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :164-171

Θεματικοί όροι: Generic Programming, Image processing, [INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV], Modern C++, Performance, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, Image processing Generic Programming Modern C++ Software Performance, 02 engineering and technology, Software

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-03891002v1/document
https://hal.science/hal-03891002v1
https://doi.org/10.1145/3564719.3568692

An Approach to Performance Portability Through Generic Programming

Συγγραφείς: Hadjigeorgiou, Andreas^Aff19, Stylianou, Christodoulos^Aff20, Weiland, Michèle^Aff20, Verschuur, Dirk Jacob^Aff21, Finkenrath, Jacob^Aff19

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Zeinalipour, Demetris, editor^Aff7, Blanco Heras, Dora, editor^Aff8, Pallis, George, editor^Aff9, Herodotou, Herodotos, editor^Aff10, Trihinas, Demetris, editor^Aff11, Balouek, Daniel, editor^Aff12, Diehl, Patrick, editor^Aff13, Cojean, Terry, editor^Aff14, Fürlinger, Karl, editor^Aff15, Kirkeby, Maja Hanne, editor^Aff16, Nardelli, Matteo, editor^Aff17, Di Sanzo, Pierangelo, editor^Aff18

Πηγή: Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part I. 14351:282-293

Aerial-Ground Collaborative Pathfinding with HLSTL using FPGAs

Συγγραφείς: Abaldea, Manuel J., Barba, Jesus, Caba, Julian, Escolar, Soledad, de la Torre, Jose A., Rincon, Fernando, Lopez, Juan C.

Πηγή: 2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS) Design of Circuits and Integrated Systems (DCIS), 2019 XXXIV Conference on. :1-6 Nov, 2019

Relation: 2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS)

Apla Generic Constraint Matching Detection and Verification

Συγγραφείς: Zuo, Zhengkang, Liu, Zhihao, Wang, Changjing, You, Zhen, Hu, Qimin

Πηγή: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2019 24th International Conference on. :210-219 Nov, 2019

Relation: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

The Conditional Multiway Mapped Tree: Modeling and Analysis of Hierarchical Data Dependencies

Συγγραφείς: Piatkowski, J.

Πηγή: IEEE Access Access, IEEE. 8:74083-74092 2020

Object-Oriented Paradigm: Pros and Cons ; Об’єктно-орієнтована парадигма: pro і contra

Συγγραφείς: Бублик, Володимир Васильович, Фітель, Данило Романович

Πηγή: NaUKMA Research Papers. Computer Science; Vol. 8 (2025): NaUKMA Research Papers. Computer Science; 138-148 ; Наукові записки НаУКМА. Комп'ютерні науки; Том 8 (2025): Наукові записки НаУКМА. Комп’ютерні науки; 138-148 ; 2617-7323 ; 2617-3808

Θεματικοί όροι: парадигма програмування, об’єктно-орієнтована парадигма, узагальнене програмування, programming paradigm, object-oriented paradigm, generic programming, template metaprogramming

Περιγραφή αρχείου: application/pdf

Relation: http://nrpcomp.ukma.edu.ua/article/view/344882/332296; http://nrpcomp.ukma.edu.ua/article/view/344882

Διαθεσιμότητα: http://nrpcomp.ukma.edu.ua/article/view/344882
https://doi.org/10.18523/2617-3808.2025.8.138-148

A Computational Model for the Construction of Knowledge-based Collaborative Learning Distributed Applications

Συγγραφείς: Caballé Llobet, Santi

Συνεισφορές: University/Department: Universitat Oberta de Catalunya. Internet Interdisciplinary Institut (IN3)

Thesis Advisors: Xhafa, Fatos, Daradoumis, Atanasi

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Generic Programming, software reusability, CLPL, computational model, learning process evaluation, group monitoring, awareness and feedback, knowledge management, data interaction analysis, CSCL, Computer-Supported Collaborative Learning, Collaborative learning, software engineering, model-driven development, MDA, service-oriented architectures, SOA, distributed computing, Grid, peer-to-peer, P2P., Ciència de la Computació i Intel·ligència Artificial, Enginyeria Telemàtica, Llenguatges i Sistemes

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://www.tdx.cat/TDX-0216110-154640
http://hdl.handle.net/10803/9127

A Generic Static Analysis Framework for Domain-specific Languages

Συγγραφείς: Mandal, Avijit, Mohan, Devina, Jetley, Raoul, Nair, Sreeja, D'Souza, Meenakshi

Πηγή: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) Emerging Technologies and Factory Automation (ETFA), 2018 IEEE 23rd International Conference on. 1:27-34 Sep, 2018

Relation: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)

Application of Metaprogramming and Generic Programming in Multiscale Modeling

Συγγραφείς: Maciol, P., Michalik, K.

Πηγή: Computing in Science & Engineering Comput. Sci. Eng. Computing in Science & Engineering. 20(6):81-94 Jan, 2018

Morpheus: A library for efficient runtime switching of sparse matrix storage formats

Συγγραφείς: Christodoulos Stylianou, Michèle Weiland

Πηγή: SoftwareX, Vol 27, Iss , Pp 101775- (2024)

Θεματικοί όροι: Sparse matrix storage formats, Generic programming, Dynamic matrices, Performance portability, Productivity, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711024001468; https://doaj.org/toc/2352-7110

Σύνδεσμος πρόσβασης: https://doaj.org/article/9739c5afbac6489e8e7b1c775eab4af7

Generic sensitivity: customizing context-sensitive pointer analysis for generics

Συγγραφείς: Li, Haofeng, Lu, Jie, Meng, Haining, Cao, Liqing, Huang, Yongheng, Li, Lian, Gao, Lin

Πηγή: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1110-1121

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3540250.3549122

A completely unique account of enumeration

Συγγραφείς: Cas van der Rest, Wouter Swierstra

Πηγή: Proceedings of the ACM on Programming Languages. 6:411-437

Θεματικοί όροι: datatype generic programming, 0202 electrical engineering, electronic engineering, information engineering, interactive proof assistants, 0102 computer and information sciences, 02 engineering and technology, property-based testing, Agda, 01 natural sciences, dependently typed programming

Σύνδεσμος πρόσβασης: https://research-portal.uu.nl/en/publications/d627f914-cb1e-47f9-a0a5-6df75e6adc35
https://doi.org/10.1145/3547636
http://resolver.tudelft.nl/uuid:8b970ae1-e3aa-4a61-a5ae-b50d900a1e7a

Practical generic programming over a universe of native datatypes

Συγγραφείς: Lucas Escot, Jesper Cockx

Πηγή: Proceedings of the ACM on Programming Languages. 6:625-649

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, Generic programming, 02 engineering and technology, Dependent types

Σύνδεσμος πρόσβασης: http://resolver.tudelft.nl/uuid:3fe37bbd-6d36-4765-b03f-69e1b4410d2a