Results
Found 326 publication records. Showing 326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Wenbin Lu, Baodi Shan, Eric Raut, Jie Meng, Mauricio Araya-Polo, Johannes Doerfert, Abid Muslim Malik, Barbara M. Chapman |
Towards Efficient Remote OpenMP Offloading. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Julian Brandner, Florian Mayer 0001, Michael Philippsen |
Reducing OpenMP to FPGA Round-Trip Times with Predictive Modelling. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Harald Servat, Giacomo Rossi, Alejandro Duran, Ravi Narayanaswamy |
On the Migration of OpenACC-Based Applications into OpenMP 5+. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Giorgis Georgakoudis, Thomas R. W. Scogland, Chunhua Liao, Bronis R. de Supinski |
Extending OpenMP to Support Automated Function Specialization Across Translation Units. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shilei Tian, Joseph Huber, John R. Tramm, Barbara M. Chapman, Johannes Doerfert |
Just-in-Time Compilation and Link-Time Optimization for OpenMP Target Offloading. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Vladimir Indic, John M. Mellor-Crummey |
Improving Tool Support for Nested Parallel Regions with Introspection Consistency. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Juan Salamanca 0001, Alexandro Baldassin |
Using Off-the-Shelf Hardware Transactional Memory to Implement Speculative While in OpenMP. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Anton Rydahl, Mathias Gammelmark, Sven Karlsson |
Feasibility Studies in Multi-GPU Target Offloading. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Delaram Talaashrafi, Marc Moreno Maza, Johannes Doerfert |
Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jan Ciesko, Stephen L. Olivier |
Characterizing the Performance of Task Reductions in OpenMP 5.X Implementations. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier |
Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support. |
IWOMP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jessica Vandebon, José Gabriel de Figueiredo Coutinho, Wayne Luk, Eriko Nurvitadhi |
Enhancing High-Level Synthesis Using a Meta-Programming Approach. |
IEEE Trans. Computers |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
LLJava live at the loop: a case for heteroiconic staged meta-programming. |
MPLR |
2021 |
DBLP DOI BibTeX RDF |
|
11 | François Bry |
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. |
Theory Pract. Log. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman |
Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies. |
FCCM |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Arya Mazaheri, Tim Beringer, Matthew W. Moskewicz, Felix Wolf 0001, Ali Jannesari |
Accelerating winograd convolutions using symbolic computation and meta-programming. |
EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Guannan Wei 0001, Yuxuan Chen, Tiark Rompf |
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Nada Amin, William E. Byrd, Tiark Rompf |
Lightweight Functional Logic Meta-Programming. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Ireneusz Gawlik, Szymon Piotr Palka, Tomasz Pedzimaz, Bartosz Ziólko |
Meta-Programming and Policy-Based Design as a Technique of Architecting Modular and Efficient DSP Algorithm Implementations. |
Comput. Informatics |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama |
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7). |
NII Shonan Meet. Rep. |
2018 |
DBLP BibTeX RDF |
|
11 | François Bry |
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
11 | Gajo Petrovic, Hamido Fujita |
SpringBoard: game-agnostic tool for scenario editing with meta-programming support. |
Appl. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
11 | L. Thomas van Binsbergen |
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). |
GPCE |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Adilla Susungi, Norman A. Rink, Albert Cohen 0001, Jerónimo Castrillón, Claude Tadonki |
Meta-programming for cross-domain tensor optimizations. |
GPCE |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau |
Towards Certified Meta-Programming with Typed Template-Coq. |
ITP |
2018 |
DBLP DOI BibTeX RDF |
|
11 | David A. Richie, James A. Ross, Jamie K. Infantolino |
A Distributed Shared Memory Model and C++ Templated Meta-Programming Interface for the Epiphany RISC Array Processor. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
11 | Martin Berger 0001, Laurence Tratt, Christian Urban |
Modelling Homogeneous Generative Meta-Programming. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
11 | David A. Richie, James A. Ross, Jamie K. Infantolino |
A Distributed Shared Memory Model and C++ Templated Meta-Programming Interface for the Epiphany RISC Array Processor. |
ICCS |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Matthew S. Brown |
Typed Self-Applicable Meta-Programming. |
|
2017 |
RDF |
|
11 | Martin Berger 0001, Laurence Tratt, Christian Urban |
Modelling homogeneous generative meta-programming. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
11 | Miguel Ceriani, Alejandro A. Vaisman |
An RDF Vocabulary for Meta-Programming with SPARQL Algebra. |
AMW |
2016 |
DBLP BibTeX RDF |
|
11 | Martin Berger 0001, Laurence Tratt |
Program Logics for Homogeneous Generative Run-Time Meta-Programming. |
Log. Methods Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Michael Lopez, Gabriel Dos Reis |
Meta-programming with well-typed code analysis. |
SAC |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Andrew Richards |
Update on the SYCL for OpenCL open standard to enable C++ meta programming on top of OpenCL. |
IWOCL |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Michael Vollmer 0003, Bo Joel Svensson, Eric Holk, Ryan R. Newton |
Meta-programming and auto-tuning in the search for high performance GPU code. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
11 | William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig |
Profile-guided meta-programming. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Vytautas Stuikys, Renata Burbaite, Kristina Bespalova |
The LO Sequencing Problem and Its Solution Using Meta-Programming-Based Approach. |
ICIST |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Coen De Roover, Reinout Stevens |
Building development tools interactively using the EKEKO meta-programming library. |
CSMR-WCRE |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Maximilien Naveau, Justin Carpentier, S. Barthelemy, Olivier Stasse, Philippe Souères |
METAPOD - Template META-programming applied to dynamics: CoP-CoM trajectories filtering. |
Humanoids |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Vytautas Stuikys, Renata Burbaite, Robertas Damasevicius |
Teaching of Computer Science Topics Using Meta-Programming-Based GLOs and LEGO Robots. |
Informatics Educ. |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Murdoch James Gabbay, Aleksandar Nanevski |
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. |
J. Appl. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Dominique Devriese, Frank Piessens |
Typed syntactic meta-programming. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter |
Event Loop Coordination Using Meta-programming. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Marco Nehmeier |
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard. |
Computing |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Pascal Costanza |
A Little History of Meta-Programming and Reflection. |
ELS |
2012 |
DBLP BibTeX RDF |
|
11 | Tomi Janhunen, Vesa Luukkala |
Meta Programming with Answer Sets for Smart Spaces. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Jeroen van den Bos, Mark Hills 0001, Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
Rascal: From Algebraic Specification to Meta-Programming |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Arlt, Jan Hendrik Schönherr, Jan Richling |
Meta-programming Many-Core Systems. |
MARC Symposium |
2011 |
DBLP BibTeX RDF |
|
11 | Alexander Warg, Adam Lackorzynski |
Rounding pointers: type safe capabilities with C++ meta programming. |
PLOS@SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Coen De Roover |
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Gazagnaire, Anil Madhavapeddy |
Dynamics for ML using Meta-Programming. |
WGT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Seng W. Loke |
Towards Real-Time Context Awareness for Mobile Users: A Declarative Meta-Programming Approach. |
Supporting Real Time Decision-Making |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Martin Berger 0001, Laurence Tratt |
Program Logics for Homogeneous Meta-programming. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Marcel Ritter, Bidur Bohara, Werner Benger |
A Framework for Computing Integral Geometries in VISH using Template Meta Programming. |
High-End Visualization Workshop |
2010 |
DBLP BibTeX RDF |
|
11 | Martin Wheatman, Kecheng Liu |
Case Study: A Semiotic Approach to Meta-Programming in Operational Research. |
ICISO |
2010 |
DBLP BibTeX RDF |
|
11 | Aaron Stump |
Directly reflective meta-programming. |
High. Order Symb. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
EASY Meta-programming with Rascal. |
GTTSE |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Verónica Uquillas Gómez, Andy Kellens, Kris Gybels, Theo D'Hondt |
Experiments with pro-active declarative meta-programming. |
IWST |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits |
A Meta-Programming Technique for Debugging Answer-Set Programs. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
11 | David Dodds |
Second Order Meta-Programming - Situatedness, Awareness, Knowledge. |
IC-AI |
2007 |
DBLP BibTeX RDF |
|
11 | Kath Mickan |
A meta-programming framework for software evolution |
|
2006 |
RDF |
|
11 | Ian Lynagh |
Soft types for template meta-programming. |
|
2006 |
RDF |
|
11 | Dave A. Thomas |
Refactoring as Meta Programming. |
J. Object Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chiyan Chen, Hongwei Xi |
Meta-programming through typeful code representation. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gregory Neverov, Paul Roe |
Towards a Fully-reflective Meta-programming Language. |
ACSC |
2005 |
DBLP BibTeX RDF |
|
11 | David Dodds |
Components of Meta-Programming, Computer Analogies and Metaphors. |
PLC |
2005 |
DBLP BibTeX RDF |
|
11 | Tim Sheard, Emir Pasalic |
Meta-programming With Built-in Type Equality. |
LFM@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Aaron Stump |
Imperative LF Meta-Programming. |
LFM@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Emir Pasalic, Nathan Linger |
Meta-programming with Typed Object-Language Representations. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Baltasar Trancón y Widemann, Markus Lepper 0001, Jacob Wieland |
Automatic Construction of XML-Based Tools Seen as Meta-Programming. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Cisternino |
Multi-stage and meta-programming support in strongly typed execution engines. |
|
2003 |
RDF |
|
11 | Tim Sheard, Simon L. Peyton Jones |
Template meta-programming for Haskell. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
|
11 | John P. Gallagher |
Whatever Happened to Meta-Programming? |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
11 | Joseph K. Cross, Douglas C. Schmidt |
Meta-Programming Techniques for Distributed Real-time and Embedded Systems. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Quality Connector, System Mode, Quality of Service, Middleware, CORBA |
11 | Tim Sheard, Simon Peyton Jones |
Template meta-programming for Haskell. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
Higher-Order Types and Meta-Programming for Global Computing. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Nanbor Wang, Kirthika Parameswaran, Douglas C. Schmidt, Ossama Othman |
Evaluating meta-programming mechanisms for ORB middleware. |
IEEE Commun. Mag. |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Nanbor Wang, Kirthika Parameswaran, Douglas C. Schmidt, Ossama Othman |
The Design and Performance of Meta-Programming Mechanisms for Object Request Broker Middleware. |
COOTS |
2001 |
DBLP BibTeX RDF |
|
11 | Christoph Beierle, Reinhold Kloos, Gregor Meyer |
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. |
Verification of Logic Programs@ICLP |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Aßmann, Andreas Ludwig |
Introducing Connections Into Classes With Static Meta-Programming. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Aßmann |
Meta-programming composers in second-generation component systems. |
Systems Implementation 2000 |
1998 |
DBLP BibTeX RDF |
|
11 | Antony Francis Bowers |
Effective meta-programming in declarative languages. |
|
1998 |
RDF |
|
11 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
Meta-Programming in CLP(R). |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Ajith P. Madurapperuma, W. A. Gray, Nick J. Fiddian |
Customisable Visual Query Interface to a Heterogeneous Database Environment: A Meta-Programming Based Approach (Abstract). |
BNCOD |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Harald Rueß |
Formal meta-programming in the calculus of constructions. |
|
1995 |
RDF |
|
11 | Iliano Cervesato, Gianfranco Rossi |
A WAM Implementation for the Logic Meta Programming Language 'Log. |
GULP |
1993 |
DBLP BibTeX RDF |
|
11 | Taisuke Sato |
Meta-Programming through a Truth Predicate. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
11 | Bern Martens, Danny De Schreye |
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
11 | Norbert Kehrer, Gustaf Neumann |
Business Event Oriented Information Systems Based on Meta Programming. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
11 | Danny De Schreye, Bern Martens |
A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation. |
CNKBS |
1992 |
DBLP BibTeX RDF |
|
11 | Paul Singleton |
Applications of meta-programming to the construction of software products from generic configurations. |
|
1992 |
RDF |
|
11 | Anthony S. K. Cheng, Peter J. Robinson 0001, John Staples |
Higher Level Meta Programming in Qu-Prolog 3: 0. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
11 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
On Meta-Programming in CLR(R). |
NACLP |
1989 |
DBLP BibTeX RDF |
|
11 | John W. Lloyd |
Meta-Programming for Knowledge Base Systems (Extended Abstract). |
Wissensbasierte Systeme |
1989 |
DBLP DOI BibTeX RDF |
|
11 | John W. Lloyd |
Directions for Meta-Programming. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
11 | Dines Bjørner |
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. |
VDM Europe |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Akikazu Takeuchi, Koichi Furukawa |
Partial Evaluation of Prolog Programs and its Application to Meta Programming. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
11 | Lukas Renggli, Stéphane Ducasse, Adrian Kuhn |
Magritte - A Meta-driven Approach to Empower Developers and End Users. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
Business Application Development, Meta-Modeling, Meta-Data, Adaptive Object Model |
11 | Guizhen Yang, Michael Kifer, Chang Zhao |
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. |
OTM |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Stan Jarzabek |
Genericity - a "Missing in Action" Key to Software Simplification and Reuse. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |