Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link
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