|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1050 occurrences of 701 keywords
|
|
|
Results
Found 1710 publication records. Showing 1710 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Zuzana Baranová, Petr Rockai |
Compiling C and C++ Programs for Dynamic White-Box Analysis. |
FM Workshops (1) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alwin Zulehner, Robert Wille |
Compiling SU(4) quantum circuits to IBM QX architectures. |
ASP-DAC |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke |
Compiling Sandboxes: Formally Verified Software Fault Isolation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Berkholz, Hubie Chen |
Compiling Existential Positive Queries to Bounded-Variable Fragments. |
PODS |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alen Stojanov, Tiark Rompf, Markus Püschel |
A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. |
GPCE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Andy Shih, Arthur Choi, Adnan Darwiche |
Compiling Bayesian Network Classifiers into Decision Graphs. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Jin Song, Yimin Zhuang, Xiaobing Chen, Tian Zhi, Shaoli Liu |
Compiling Optimization for Neural Network Accelerators. |
APPT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Emilian Susu |
Compiling Efficiently with Arithmetic Emulation for the Custom-Width Connex Vector Processor. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma 0001 |
Compiling KB-sized machine learning models to tiny IoT devices. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Bo Sun, Zhaojun Yang, Chuanhai Chen, Hailong Tian, Wei Hu, Xu Jia |
Compiling Compression Load Spectrum of Servo Turret Based on Finite Element and Information Entropy Method. |
ICSRS |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli |
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. |
ICCAD |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Peter J. Stuckey, Guido Tack |
Compiling Conditional Constraints. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Na Wang 0007, Liping Li |
Teaching reform on compiling principal course. |
ICCSE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Starkaður Barkarson, Steinþór Steingrímsson |
Compiling and Filtering ParIce: An English-Icelandic Parallel Corpus. |
NODALIDA |
2019 |
DBLP BibTeX RDF |
|
14 | Francesco Percassi, Alfonso Emilio Gerevini |
On Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
14 | Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf |
Towards compiling graph queries in relational engines. |
DBPL |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Rodrigo N. Gómez, Carlos Hernández 0003, Jorge A. Baier |
Compiling Cost-Optimal Multi-Agent Pathfinding to ASP. |
SOCS |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Lukás Chrpa, Martin Pilát, Jakub Gemrot |
Compiling Planning Problems with Non-deterministic Events into FOND Planning. |
RCRA/RiCeRcA@AI*IA |
2019 |
DBLP BibTeX RDF |
|
14 | Maximilian E. Schüle, Matthias Bungeroth, Dimitri Vorona, Alfons Kemper, Stephan Günnemann, Thomas Neumann 0001 |
ML2SQL - Compiling a Declarative Machine Learning Language to SQL and Python. |
EDBT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Richard Townsend |
Compiling Irregular Software to Specialized Hardware. |
|
2019 |
DOI RDF |
|
14 | Eric Love |
Compiling Communication-Minimizing Query Plans. |
|
2019 |
RDF |
|
14 | Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock |
Functional programming for compiling and decompiling computer-aided design. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur |
A Novel Algebraic Geometry Compiling Framework for Adiabatic Quantum Computations. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Gábor E. Gévay, Tilmann Rabl, Sebastian Breß, Lorand Madai-Tahy, Volker Markl |
Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat |
Compiling Combinatorial Genetic Circuits with Semantic Inference. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Mohammad Dashti 0001, Sachin Basil John, Thierry Coppey, Amir Shaikhha, Vojin Jovanovic, Christoph Koch 0001 |
Compiling Database Application Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Pablo Tano, Sergio Romano, Mariano Sigman, Alejo Salles, Santiago Figueira |
Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Vincent Nys, Danny De Schreye |
Compiling Control as Offline Partial Deduction. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Faisal Shah Khan, Nada Elsokkary, Travis S. Humble |
Compiling Adiabatic Quantum Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Charisee Chiw, Gordon L. Kindlmann, John H. Reppy |
Compiling Diderot: From Tensor Calculus to C. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Eduardo Chielle, Oleg Mazonka, Nektarios Georgios Tsoutsos, Michail Maniatakos |
E3: A Framework for Compiling C++ Programs with Encrypted Operands. |
IACR Cryptol. ePrint Arch. |
2018 |
DBLP BibTeX RDF |
|
14 | Steven Bell, Jing Pu, James Hegarty, Mark Horowitz |
Compiling Algorithms for Heterogeneous Systems |
|
2018 |
DOI RDF |
|
14 | Michael Römer, André A. Ciré, Louis-Martin Rousseau |
A Local Search Framework for Compiling Relaxed Decision Diagrams. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Peter Zangerl, Herbert Jordan, Peter Thoman, Philipp Gschwandtner, Thomas Fahringer |
Exploring the semantic gap in compiling embedded DSLs. |
SAMOS |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Cristina Menghini, Jessica Dehler-Zufferey, Robert West 0001 |
Compiling Questions into Balanced Quizzes about Documents. |
CIKM |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Atif Latif, Timo Borst, Klaus Tochtermann |
Compiling Scholarly Profile Pages by Integrating External Authority Data. |
JCDL |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hancheng Wu, John Ravi, Michela Becchi |
Compiling SIMT Programs on Multi- and Many-Core Processors with Wide Vector Units: A Case Study with CUDA. |
HiPC |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Eva Marinus, Zoe Powell, Rosalind Thornton, Genevieve McArthur, Stephen Crain |
Unravelling the Cognition of Coding in 3-to-6-year Olds: The development of an assessment tool and the relation between coding ability and cognitive compiling of syntax in natural language. |
ICER |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón |
Compiling for concise code and efficient I/O. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Faisal Shah Khan, Nada Elsokkary, Travis S. Humble |
Compiling Adiabatic Quantum Programs. |
GLOBECOM Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Henry G. Dietz |
A Gate-Level Approach To Compiling For Quantum Computers. |
IGSC |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Nicholas Wilson |
DCompute: Compiling D to SPIR-V for seamless integration with OpenCL. |
IWOCL |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Haowen Luo, Yu Zhang, Shenglan Zhang |
Research on Java Compiling System for Embedded Systems. |
ISBDAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Haikun Teng, Xinsheng Liu, Shiying Wang, Xiao-Guang Yue |
Research on Java Compiling System for Embedded Systems. |
ISBDAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ofer M. Shir, Carola Doerr, Thomas Bäck |
Compiling a benchmarking test-suite for combinatorial black-box optimization: a position paper. |
GECCO (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Lion, Samir Chouali, Farhad Arbab |
Compiling Protocols to Promela and Verifying their LTL Properties. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
14 | Pooyan Behnamghader, Patavee Meemeng, Iordanis Fostiropoulos, Di Huang, Kamonphop Srisopha, Barry W. Boehm |
A scalable and efficient approach for compiling and analyzing commit history. |
ESEM |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Florin Craciun, Gabriel Glodean |
Towards Compiling Region Types Into RTSJ-Compliant Java Code. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Benedict Wright, Robert Mattmüller, Bernhard Nebel |
Compiling Away Soft Trajectory Constraints in Planning. |
KR |
2018 |
DBLP BibTeX RDF |
|
14 | Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann 0001, Holger Hermanns |
Compiling Probabilistic Model Checking into Probabilistic Planning. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
14 | Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck |
Compiling Optimal Numeric Planning to Mixed Integer Linear Programming. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
14 | Vincent Nys, Danny De Schreye |
Compiling Control as Offline Partial Deduction. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Koriche |
Compiling Combinatorial Prediction Games. |
ICML |
2018 |
DBLP BibTeX RDF |
|
14 | Labinot Bajraktari, Magdalena Ortiz 0001, Mantas Simkus |
Compiling Model Representations for Querying Large ABoxes in Expressive DLs. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ditty Mathew, Sutanu Chakraborti |
Towards Compiling Textbooks from Wikipedia. |
Australasian Conference on Artificial Intelligence |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Conal Elliott |
Compiling to categories. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Rafael Sacks, Ling Ma 0003, Raz Yosef, André Borrmann, Simon Daum, Uri Kattel |
Semantic Enrichment for Building Information Modeling: Procedure for Compiling Inference Rules and Operators for Complex Geometry. |
J. Comput. Civ. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser 0001 |
On compiling Boolean circuits optimized for secure multi-party computation. |
Formal Methods Syst. Des. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Simone Bova, Friedrich Slivovsky |
On Compiling Structured CNFs to OBDDs. |
Theory Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Davide Venturelli, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank |
Compiling Quantum Circuits to Realistic Hardware Architectures using Temporal Planners. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Umut Oztok, Adnan Darwiche |
On Compiling DNNFs without Determinism. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Andre Xian Ming Chang, Aliasger Zaidy, Vinayak Gokhale, Eugenio Culurciello |
Compiling Deep Learning Models for Custom Hardware Accelerators. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Bernard Parisse |
Compiling LATEX to computer algebra-enabled HTML5. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Phil Scott, Steven Obua, Jacques D. Fleuriot |
Compiling Purely Functional Structured Programs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Marcos Zampieri |
Compiling and Processing Historical and Contemporary Portuguese Corpora. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Rabah Mokhtari, Allaoua Chaoui |
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. |
Int. J. Commun. Networks Distributed Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Graham Hutton, Patrick Bahr |
Compiling a 50-year journey. |
J. Funct. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001 |
Correctness of compiling polymorphism to dynamic typing. |
J. Funct. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Clemens Grelck, Nikolaos Sarris |
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniil Berezun, Neil D. Jones |
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hung-Hsuan Chen, Jian Wu 0006, C. Lee Giles |
Compiling Keyphrase Candidates for Scientific Literature Based on Wikipedia. |
TDDL/MDQual/Futurity@TPDL |
2017 |
DBLP BibTeX RDF |
|
14 | Micha Reiser, Luc Bläser |
Accelerate JavaScript applications by cross-compiling to WebAssembly. |
VMIL@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Márcio Machado Pereira, Rafael C. F. Sousa, Guido Araujo |
Compiling and Optimizing OpenMP 4.X Programs to OpenCL and SPIR. |
IWOMP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yikun Hu, Yuanyuan Zhang 0002, Juanru Li, Dawu Gu |
Binary code clone detection across architectures and compiling configurations. |
ICPC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Michael Vollmer 0003, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni 0001, Sam Tobin-Hochstadt, Ryan Newton |
Compiling Tree Transforms to Operate on Packed Representations. |
ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
Compiling Graph Substructures into Sentential Decision Diagrams. |
AAAI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Trifan, Marilena Anghelus, Rodica Constantinescu |
Natural language processing model compiling natural language into byte code. |
SpeD |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
Compiling without continuations. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Huang 0001, Jean-Baptiste Tristan, Greg Morrisett |
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jeremy Ludwig, Steven Xu, Frederick Webber |
Compiling static software metrics for reliability and maintainability from GitHub repositories. |
SMC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer 0001, Galen M. Shipman, Patrick S. McCormick, Alex Aiken |
Control replication: compiling implicit parallelism to efficient SPMD with logical regions. |
SC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca |
lp2cpp: A Tool For Compiling Stratified Logic Programs. |
AI*IA |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Salar Mohtaj, Habibollah Asghari, Vahid Zarrabi |
Compiling a text re-use detection corpus from scientific papers with semi-real cases of plagiarism. |
IALP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Henrik Barthels, Paolo Bientinesi |
Linnea: Compiling Linear Algebra Expressions to High-Performance Code. |
PASCO@ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Raquel Fuentetaja 0001, Tomás de la Rosa |
Compiling irrelevant objects to counters. Special case of creation planning. |
AI Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Drew Landis, William Courtney, Christopher Dieringer, Ross Kelly, Margaret D. King, Brittny Miller, Runtang Wang, Dylan Wood, Jessica A. Turner, Vince D. Calhoun |
COINS Data Exchange: An open platform for compiling, curating, and disseminating neuroimaging data. |
NeuroImage |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi |
Compiling Stateful Network Properties for Runtime Verification. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer |
A Software Methodology for Compiling Quantum Programs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Ian Mackie |
Compiling Process Networks to Interaction Nets. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Kavon Farvardin, John H. Reppy |
Compiling with Continuations and LLVM. |
ML/OCAML |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Seyed Mehran Kazemi, David Poole 0001 |
Why is Compiling Lifted Inference into a Low-Level Language so Effective? |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Roshan Dathathri, Ravi Teja Mullapudi, Uday Bondhugula |
Compiling Affine Loop Nests for a Dynamic Scheduling Runtime on Shared and Distributed Memory. |
ACM Trans. Parallel Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík |
Compiling a gesture recognition application for a low-power spatial architecture. |
LCTES |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Vladislav Tartakovsky |
Student Research Poster: Compiling Boolean Circuits to Non-deterministic Branching Programs to be Implemented by Light Switching Circuits. |
PACT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Höller, Bernhard Spitzer, Tobias Rauter, Johannes Iber, Christian Kreiner |
Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors. |
DSN Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou |
Compiling and Executing PDDL in Picat. |
CILC |
2016 |
DBLP BibTeX RDF |
|
14 | Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm |
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker 0001 |
Compiling Path Queries. |
NSDI |
2016 |
DBLP BibTeX RDF |
|
14 | Salaheddine Hamadi, Khalil Blaiech, Petko Valtchev, Omar Cherkaoui, Radu State |
Compiling packet forwarding rules for switch pipelined architecture. |
INFOCOM |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1710 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|