|
|
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 | Nadine Braun, Martijn Goudbeek, Emiel Krahmer |
The Multilingual Affective Soccer Corpus (MASC): Compiling a biased parallel corpus on soccer reportage in English, German and Dutch. |
INLG |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hugues Evrard |
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Greg Morrisett |
Challenges in compiling Coq. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Miroslav Kratochvíl |
Compiling Functional Code for System-Level Environment. |
ITAT |
2016 |
DBLP BibTeX RDF |
|
14 | Niklas Büscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser 0001 |
Compiling Low Depth Circuits for Practical Secure Computation. |
ESORICS (2) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Seyed Mehran Kazemi, David Poole 0001 |
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language. |
KR |
2016 |
DBLP BibTeX RDF |
|
14 | Alexey Zraenko |
The Task of Compiling the Project Execution Plan in the Multi-Agent Model. |
AIST (Supplement) |
2016 |
DBLP BibTeX RDF |
|
14 | Xiaoqiang Ni, Liu Yang, Chiyuan Ma |
Language-Extension-Based Vectorizing Compiling Scheme on SDR-DSP. |
NCCET |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Bak, Detlef Plump |
Compiling Graph Programs to C. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Shih-Pei Chen, Zoe Hong, Dagmar Schäfer, Martina Siebert, Jorge Urzúa |
Compiling a Database on Historical China from Local Records: The Local Gazetteers Project at MPIWG. |
DH |
2016 |
DBLP BibTeX RDF |
|
14 | Mozhgan Chimeh, Paul Cockshott, Susanne B. Oehler, Ashkan Tousimojarad, Tian Xu 0002 |
Compiling Vector Pascal to the XeonPhi. |
Concurr. Comput. Pract. Exp. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | HeeJong Park 0001, Avinash Malik, Zoran A. Salcic |
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. |
Comput. Lang. Syst. Struct. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jian Gao 0007, Jianan Wang, Minghao Yin |
Experimental analyses on phase transitions in compiling satisfiability problems. |
Sci. China Inf. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Longendri Aguilera-Mendoza, Yovani Marrero-Ponce, Roberto Tellez-Ibarra, Monica T. Llorente-Quesada, Jesús Salgado, Stephen J. Barigye, Jun Liu |
Overlap and diversity in antimicrobial peptide databases: compiling a non-redundant set of sequences. |
Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Hokke, Alex Kolpa, Joris van den Oever, Alex Walterbos, Johan Pouwelse |
A Self-Compiling Android Data Obfuscation Tool. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Andrew Crotty, Alex Galakatos, Kayhan Dursun, Tim Kraska, Carsten Binnig, Ugur Çetintemel, Stan Zdonik |
An Architecture for Compiling UDF-centric Workflows. (PDF / PS) |
Proc. VLDB Endow. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Flávio Cruz, Ricardo Rocha 0001 |
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kazuaki Ishizaki, Akihiro Hayashi, Gita Koblents, Vivek Sarkar |
Compiling and Optimizing Java 8 Programs for GPU Execution. |
PACT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | K. Rustan M. Leino |
Compiling Hilbert's epsilon operator. |
LPAR (short papers) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona |
Compiling NATO authorization policies for enforcement in the cloud and SDNs. |
CNS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Marc Feeley |
Compiling for multi-language task migration. |
DLS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, Christian Kreiner |
Evaluation of diverse compiling for software-fault detection. |
DATE |
2015 |
DBLP BibTeX RDF |
|
14 | Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner |
Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems. |
CIT/IUCC/DASC/PICom |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kavitha T. Madhu, Saptarsi Das, Nalesh Sivanandan, S. K. Nandy 0001, Ranjani Narayan |
Compiling HPC Kernels for the REDEFINE CGRA. |
HPCC/CSS/ICESS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Leonel F. de Alencar, Philipp B. Costa, Mardonio J. C. França, Alexander Ewart, Katiuscia M. Andrade, Rossana M. C. Andrade |
JCLext: A Java Tool for Compiling Finite-State Transducers from Full-Form Lexicons. |
STIL |
2015 |
DBLP BibTeX RDF |
|
14 | Adam Perelman, Christopher Ré |
DunceCap: Compiling Worst-Case Optimal Query Plans. |
SIGMOD Conference |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Simone Bova, Friedrich Slivovsky |
On Compiling Structured CNFs to OBDDs. |
CSR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Norman A. Rink, Dmitrii Kuvaiskii, Jerónimo Castrillón, Christof Fetzer |
Compiling for Resilience: the Performance Gap. |
PARCO |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Lavanya Jose, Lisa Yan, George Varghese, Nick McKeown |
Compiling Packet Programs to Reconfigurable Switches. |
NSDI |
2015 |
DBLP BibTeX RDF |
|
14 | Michael Budde, Martin Dybdal, Martin Elsman |
Compiling APL to accelerate through a typed array intermediate language. |
ARRAY@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Gaurav Chaurasia, Jonathan Ragan-Kelley, Sylvain Paris, George Drettakis, Frédo Durand |
Compiling high performance recursive filters. |
High Performance Graphics |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky |
On Compiling CNFs into Structured Deterministic DNNFs. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Viktoria Yatsenko |
The Multidimensional Data Model of Integrated Accounting Needed for Compiling Management Reports Based on Calculation EBITDA Indicator. |
ICTERI |
2015 |
DBLP BibTeX RDF |
|
14 | Sergio Antoy, Andy Jost |
Compiling Collapsing Rules in Certain Constructor Systems. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Micheli, Minh Do, David E. Smith 0001 |
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Rana Elmarakshy, M. A. Ismail |
Compiling a Dialectal Arabic Lexicon Using Latent Topic Models. |
AISI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Paul van der Walt |
A language-independent methodology for compiling declarations into open platform frameworks. (Compilation de déclarations dans des cadriciels : une méthodologie indépendante du langage). |
|
2015 |
RDF |
|
14 | Thomas Neumann 0001, Viktor Leis |
Compiling Database Queries into Machine Code. |
IEEE Data Eng. Bull. |
2014 |
DBLP BibTeX RDF |
|
14 | Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet |
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. |
Int. J. Artif. Intell. Tools |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Simone Bova, Friedrich Slivovsky |
On Compiling Structured CNFs to OBDDs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Héctor Palacios, Hector Geffner |
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | James Hegarty, John S. Brunhaver, Zachary DeVito, Jonathan Ragan-Kelley, Noy Cohen, Steven Bell, Artem Vasilyev, Mark Horowitz, Pat Hanrahan |
Darkroom: compiling high-level image processing code into hardware pipelines. |
ACM Trans. Graph. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Robert J. Halstead, Jason R. Villarreal, Walid A. Najjar |
Compiling irregular applications for reconfigurable systems. |
Int. J. High Perform. Comput. Netw. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Matthew R. Lakin, Andrew Phillips |
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Sabine Winetzhammer, Bernhard Westfechtel |
Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Vineet Kumar, Laurie J. Hendren |
MIX10: compiling MATLAB to X10 for high performance. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Barbosa, David Castro 0003, Paulo F. Silva 0001 |
Compiling CAO: From Cryptographic Specifications to C Implementations. |
POST |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Georgios Kontonatsios, Claudiu Mihaila, Ioannis Korkontzelos, Paul Thompson 0002, Sophia Ananiadou |
A Hybrid Approach to Compiling Bilingual Dictionaries of Medical Terms from Parallel Corpora. |
SLSP |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Christian Motika, Steven Smyth, Reinhard von Hanxleden |
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. |
ISoLA (1) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Raphael Polig, Kubilay Atasu, Heiner Giefers, Laura Chiticariu |
Compiling text analytics queries to FPGAs. |
FPL |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Srinivas Narayana, Jennifer Rexford, David Walker 0001 |
Compiling path queries in software-defined networks. |
HotSDN |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xitao Wen, Chunxiao Diao, Xun Zhao, Yan Chen 0004, Li Erran Li, Bo Yang, Kai Bu |
Compiling minimum incremental update for modular SDN languages. |
HotSDN |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Kenichi Asai |
Compiling a reflective language using MetaOCaml. |
GPCE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, Dan R. Ghica, David B. Thomas, George A. Constantinides |
Compiling Higher Order Functional Programs to Composable Digital Hardware. |
FCCM |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Martin Elsman, Martin Dybdal |
Compiling a Subset of APL Into a Typed Intermediate Language. |
ARRAY@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Thomas S. Heinze, Wolfram Amme, Simon Moser |
Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. |
SOCA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Umut Oztok, Adnan Darwiche |
On Compiling CNF into Decision-DNNF. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mahesh Nanjundappa, Sandeep K. Shukla |
Compiling polychronous programs into conditional partial orders for ASIP synthesis. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Frej Drejhammar, Lars Rasmusson |
BEAMJIT: a just-in-time compiling runtime for Erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ian Unruh, Alexandru G. Bardas, Rui Zhuang, Xinming Ou, Scott A. DeLoach |
Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. |
LISA |
2014 |
DBLP BibTeX RDF |
|
14 | Jack B. Dennis |
Compiling Fresh Breeze Codelets. |
PMAM |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Oleksii Kononenko, Cheng Zhang, Michael W. Godfrey |
Compiling Clones: What Happens? |
ICSME |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gongye Jin, Daisuke Kawahara, Sadao Kurohashi |
A Framework for Compiling High Quality Knowledge Resources From Raw Corpora. |
LREC |
2014 |
DBLP BibTeX RDF |
|
14 | Feng Li 0016 |
Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience. (Compilation pour une architecture multi-thread à flot de données : algorithmes, outils et retour d'expérience). |
|
2014 |
RDF |
|
14 | Vadym Kliuchnikov |
New methods for Quantum Compiling. |
|
2014 |
RDF |
|
14 | Christoph W. Kessler |
Compiling for VLIW DSPs. |
Handbook of Signal Processing Systems |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Iulian Goriac |
Compiling an Epistemic Logic for Multiagent Systems. |
Int. J. Intell. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio |
Compiling subsumption to relational databases. |
Intelligenza Artificiale |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Timo Stripf, Oliver Oey, Thomas Bruckschlögl, Jürgen Becker 0001, Gerard K. Rauwerda, Kim Sunesen, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Steven Derrien, Olivier Sentieys, Nikolaos Kavvadias, Grigoris Dimitroulakos, Kostas Masselos, Dimitrios Kritharidis, Nikolaos Mitas, Thomas Perschke |
Compiling Scilab to high performance embedded multicore systems. |
Microprocess. Microsystems |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Abhay Kumar Jha, Dan Suciu |
Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams. |
Theory Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Timm Bönke, Carsten Schröder, Clive Werdt |
Compiling a harmonized database from Germany's 1978 to 2003 sample surveys of income and expenditure. |
AStA Wirtschafts und Sozialstatistisches Arch. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Stephen L. Chiu, Masaki Togai |
Compiling Fuzzy Logic Control Rules to Hardware Implementations |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Michael Codish, Yoav Fekete, Amit Metodi |
Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Paul E. Lehner, Azar Sadigh |
Two Procedures for Compiling Influence Diagrams |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Vadym Kliuchnikov, Alex Bocharov, Krysta M. Svore |
Asymptotically Optimal Topological Quantum Compiling. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Arno Puder, Oren Antebi |
Cross-Compiling Android Applications to iOS and Windows Phone 7. |
Mob. Networks Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Joachim Jansen, Albert Jorissen, Gerda Janssens |
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. |
Theory Pract. Log. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Joseph G. Wingbermuehle, Ron K. Cytron, Roger D. Chamberlain |
Compiling for power with ScalaPipe. |
J. Syst. Archit. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Arno Puder, Victor Woeltjen, Alon Zakai |
Cross-compiling Java to JavaScript via tool-chaining. |
PPPJ |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ewerton Daniel de Lima, Tiago Cariolano de Souza Xavier, Anderson Faustino da Silva, Linnyer Beatrys Ruiz |
Compiling for performance and power efficiency. |
PATMOS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Martinez, Marcos Viera, Alberto Pardo |
Just do it while compiling!: fast extensible records in haskell. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Weisz, James C. Hoe |
C-to-CoRAM: compiling perfect loop nests to the portable CoRAM abstraction. |
FPGA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Kyuseung Han, Kiyoung Choi, Jongeun Lee |
Compiling control-intensive loops for CGRAs with state-based full predication. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Steiner, Christopher Chedeau |
To crop, or not to crop: compiling online media galleries. |
WWW (Companion Volume) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Francisco Ferreira 0001, Stefan Monnier, Brigitte Pientka |
Compiling contextual objects: bringing higher-order abstract syntax to programmers. |
PLPV |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Arthur Choi, Doga Kisa, Adnan Darwiche |
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. |
ECSQARU |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah |
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Nishant Sinha 0001, Rezwana Karim |
Compiling mockups to flexible UIs. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Keiko Nakata 0001, Andri Saar |
Compiling Cooperative Task Management to Continuations. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Eva Burrows |
Compiling a Dataflow-based Language Abstraction onto an FPGA. |
PARCO |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Vineet Kumar, Laurie J. Hendren |
First steps to compiling Matlab to X10. |
X10@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Naoyuki Tamura, Mutsunori Banbara, Takehide Soh |
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. |
ICTAI |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Paola Giannini, Albert Shaqiri |
Compiling Functional to Scripting Languages. |
ICSOFT (Selected Papers) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Xiaonan Tian, Rengan Xu, Yonghong Yan 0001, Zhifeng Yun, Sunita Chandrasekaran, Barbara M. Chapman |
Compiling a High-Level Directive-Based Programming Model for GPGPUs. |
LCPC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ning Wan |
C Language Compiling Characteristics and Software Application Development. |
ICCC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Uday Bondhugula |
Compiling affine loop nests for distributed-memory parallel architectures. |
SC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ran Taig, Ronen I. Brafman |
Compiling Conformant Probabilistic Planning Problems into Classical Planning. |
ICAPS |
2013 |
DBLP BibTeX RDF |
|
14 | Matthias Boehm 0001, Douglas Burdick, Alexandre V. Evfimievski, Berthold Reinwald, Prithviraj Sen, Shirish Tatikonda, Yuanyuan Tian |
Compiling machine learning algorithms with SystemML. |
SoCC |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1710 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|