- Pavel Surynek:
Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach. IROS 2019: 3282-3287 - Pavel Surynek:
Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding through Satisfiability Modulo Theories. SOCS 2019: 202-203 - 2018
- Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel:
A Model Compilation Approach for Optimized Implementations of Signal-processing Systems. MODELSWARD 2018: 25-35 - Per Lindgren, Marcus Lindner, Nils Fitinghoff:
Introducing Certified Compilation in Education by a Functional Language Approach. TFPIE@TFP 2018: 65-78 - Pavel Surynek:
A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach. CoRR abs/1812.10851 (2018) - 2017
- Nelson Lossing:
Compilation pour machines à mémoire répartie: une approche multipasse. (Compilation for distributed memory machines: a multipass approach). PSL Research University, Paris, France, 2017 - Chao Wang, Patrick Schaumont:
Security by compilation: an automated approach to comprehensive side-channel resistance. ACM SIGLOG News 4(2): 76-89 (2017) - Chang Xu, Gai Liu, Ritchie Zhao, Stephen Yang, Guojie Luo, Zhiru Zhang:
A Parallel Bandit-Based Approach for Autotuning FPGA Compilation. FPGA 2017: 157-166 - Yuting Wang:
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. CoRR abs/1702.03363 (2017) - 2016
- Bryan O'Gorman, Eleanor Gilbert Rieffel, Minh Do, Davide Venturelli, Jeremy Frank:
Comparing planning problem compilation approaches for quantum annealing. Knowl. Eng. Rev. 31(5): 465-474 (2016) - Loïc Cudennec, Safae Dahmani, Guy Gogniat, Cédric Maignan, Martha Johanna Sepúlveda:
A Fast Evaluation Approach of Data Consistency Protocols within a Compilation Toolchain. ICCS 2016: 2297-2301 - 2015
- Siwadol Sateanpattanakul:
AOC: An Aspect - Oriented Approach for Comment to Reduce the Redundant Behavior between Source Code and Compilation Code. J. Softw. 10(12): 1336-1342 (2015) - Ran Taig, Ronen I. Brafman:
A Compilation Based Approach to Conformant Probabilistic Planning with Stochastic Actions. ICAPS 2015: 220-224 - Stefan Marr, Stéphane Ducasse:
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters. OOPSLA 2015: 821-839 - Rajesh Kumar Thakur, Y. N. Srikant:
Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach. SCOPES 2015: 38-47 - Luigi Bellomarini, Paolo Atzeni, Marco De Leonardis, Fabio Sorà:
Handling high-dimensional data in statistical compilation: a relational approach. SEBD 2015: 72-79 - 2014
- Ran Taig:
Compilation Based Approaches to Probabilistic Planning - Thesis Summary. AAAI 2014: 3083-3084 - 2013
- Yong Lai, Dayou Liu, Sheng-Sheng Wang:
Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach. Knowl. Inf. Syst. 35(3): 665-712 (2013) - Thierry Lepley, Pierre G. Paulin, Eric Flamand:
A novel compilation approach for image processing graphs on a many-core platform with explicitly managed memory. CASES 2013: 6:1-6:10 - 2012
- Kevin J. M. Martin, Christophe Wolinski, Krzysztof Kuchcinski, Antoine Floch, François Charot:
Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation. ACM Trans. Reconfigurable Technol. Syst. 5(2): 10:1-10:38 (2012) - Ronen I. Brafman, Guy Shani:
A Multi-Path Compilation Approach to Contingent Planning. AAAI 2012: 1868-1874 - Josef Gattermayer, Pavel Tvrdík:
Different Approaches to Distributed Compilation. IPDPS Workshops 2012: 1128-1134 - 2011
- Yong Lai, Dayou Liu, Sheng-Sheng Wang:
Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach. CoRR abs/1103.3123 (2011) - 2010
- Tom Vander Aa, Praveen Raghavan, Scott A. Mahlke, Bjorn De Sutter, Aviral Shrivastava, Frank Hannig:
Compilation techniques for CGRAs: exploring all parallelization approaches. CODES+ISSS 2010: 185-186 - Gianluca Torta, Pietro Torasso:
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model. SGAI Conf. 2010: 251-264 - 2009
- Avinash Malik, Zoran A. Salcic, Partha S. Roop:
SystemJ compilation using the tandem virtual machine approach. ACM Trans. Design Autom. Electr. Syst. 14(3): 34:1-34:37 (2009) - 2008
- Arno Puder, Sascha Häberling, Rainer Todtenhoefer:
An MDA Approach to Byte Code Level Cross-Compilation. SNPD 2008: 251-256 - 2006
- Yonggang Che, Zhenghua Wang:
A Lightweight Iterative Compilation Approach for Optimization Parameter Selection. IMSCCS (1) 2006: 318-325 - 2005
- Maurizio Giordano, Mario Mango Furnari:
An Incremental Compilation Approach for OpenMP Applications. NPC 2005: 249-252 - 2004
- Bart Van den Cruyce:
Use Tables for Imported Goods and Valuation Matrices for Trade Margins - an Integrated Approach for the Compilation of the Belgian 1995 Input-Output Tables. Technol. Anal. Strateg. Manag. 16(1): 33-61 (2004)