Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Zain-ul-Abdin, Bertil Svensson	Compiling Stream-Language Applications to a Reconfigurable Array Processor.	ERSA	2005	DBLP BibTeX RDF
14	Dominic Cooney, Marlon Dumas, Paul Roe	Programming and Compiling Web Services in GPSL.	ICSOC	2005	DBLP DOI BibTeX RDF
14	Burak Emir	Compiling regular patterns to sequential machines.	SAC	2005	DBLP DOI BibTeX RDF	regular patterns, matching, sequential machines
14	Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard	Compiling XSLT 2.0 into XQuery 1.0.	WWW	2005	DBLP DOI BibTeX RDF	Web services, XML, XQuery, XSLT
14	Brian Farrimond, Robina Hetherington	Compiling 3D Models of European Heritage from User Domain XML.	IV	2005	DBLP DOI BibTeX RDF	XML, Information Visualization, VRML, X3D, Cultural Heritage, Interactive 3D Graphics
14	Jason Eisner, Eric Goldlust, Noah A. Smith	Compiling Comp Ling: Weighted Dynamic Programming and the Dyna Language.	HLT/EMNLP	2005	DBLP BibTeX RDF
14	Jinbo Huang, Adnan Darwiche	On Compiling System Models for Faster and More Scalable Diagnosis.	AAAI	2005	DBLP BibTeX RDF
14	Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard	Optimizations for Compiling Declarative Models into Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF
14	Gongzhu Hu, Avinashkumar Gadapa	Compiling C++ Programs to Java Bytecode.	SNPD	2005	DBLP DOI BibTeX RDF
14	Daniel Luna, Mikael Pettersson, Konstantinos Sagonas	Efficiently compiling a functional language on AMD64: the HiPE experience.	PPDP	2005	DBLP DOI BibTeX RDF	AMD64, functional programming, erlang
14	Chris Sullivan, Alex Wilson, Stephen P. G. Chappell	Deterministic Hardware Synthesis for Compiling High-Level Descriptions to Heterogeneous Reconfigurable Architectures.	HICSS	2005	DBLP DOI BibTeX RDF
14	João M. P. Cardoso	On Estimations for Compiling Software to FPGA-based Systems.	ASAP	2005	DBLP DOI BibTeX RDF
14	László Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf	Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
14	Yaohang Li, Daniel Tsu-Tang Chen, Xiaohong Yuan, Huiming Yu, Albert C. Esterline	Secure Remote Compiling Services on the Grid.	PDPTA	2005	DBLP BibTeX RDF
14	Mark Chavira, Adnan Darwiche	Compiling Bayesian Networks with Local Structure.	IJCAI	2005	DBLP BibTeX RDF
14	Pierre Genevès, Kristoffer Høgsbro Rose	Compiling XPath for streaming access policy.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	static rewriting, compilation, streaming, XPath
14	Oliver A. Pfänder, Christophe Layer, Wolfgang Schlecker, Hans-Jörg Pfleiderer	An Interactive Systemc Course Featuring Real-Time Online Compiling and Analysis.	EDUTECH	2005	DBLP DOI BibTeX RDF
14	Joel J. Wright	Compiling and reasoning about exceptions and interrupts.		2005	RDF
14	Stephen A. Edwards, Vimal Kapadia, Michael Halasz	Compiling Esterel into Static Discrete-Event Code.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
14	Siegfried Benkner, Thomas Brandes	Compiling data-parallel programs for clusters of SMPs.	Concurr. Comput. Pract. Exp.	2004	DBLP DOI BibTeX RDF
14	Yannis Bres, Bernard P. Serpette, Manuel Serrano	Bigloo.NET: compiling Scheme to .NET CLR.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
14	Adnan Darwiche, Pierre Marquis	Compiling propositional weighted bases.	Artif. Intell.	2004	DBLP DOI BibTeX RDF
14	Victor De La Luz, Mahmut T. Kandemir	Array Regrouping and Its Use in Compiling Data-Intensive Embedded Applications.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Array regrouping, memory energy consumption, embedded systems, cache locality, layout optimizations
14	Mayur Naik, Jens Palsberg	Compiling with code-size constraints.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	Banked architecture, register allocation, integer linear programming, space optimization
14	Hélène Fargier, Marie-Catherine Vilarem	Compiling CSPs into Tree-Driven Automata for Interactive Solving.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata
14	Tobias Nipkow	Compiling Exceptions Correctly.	Arch. Formal Proofs	2004	DBLP BibTeX RDF
14	Zhi Guo, Betul Buyukkurt, Walid A. Najjar	Input data reuse in compiling window operations onto reconfigurable hardware.	LCTES	2004	DBLP DOI BibTeX RDF	reuse analysis, compilation, high-level synthesis, VHDL, reconfigurable computing
14	Xiao Hu, Ting Lei, Yuchang Gong, Xuehai Zhou	Compiling adaptive programs for real-time dynamic scheduling.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
14	Rajarshi Mukherjee, Alex K. Jones, Prithviraj Banerjee	Handling Data Streams while Compiling C Programs onto Hardware.	ISVLSI	2004	DBLP DOI BibTeX RDF
14	Christian Biemann, Stefan Bordag, Gerhard Heyer, Uwe Quasthoff, Christian Wolff 0001	Language-Independent Methods for Compiling Monolingual Lexical Data.	CICLing	2004	DBLP DOI BibTeX RDF
14	Per Bothner	Compiling XQuery to Java bytecodes.	XIME-P	2004	DBLP BibTeX RDF
14	Toshiko Wakaki, Katsumi Inoue	Compiling Prioritized Circumscription into Answer Set Programming.	ICLP	2004	DBLP DOI BibTeX RDF
14	Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey	Compiling Ask Constraints.	ICLP	2004	DBLP DOI BibTeX RDF
14	Yaniv Eytani, Shmuel Ur	Compiling a Benchmark of Documented Multi-Threaded Bugs.	IPDPS	2004	DBLP DOI BibTeX RDF
14	Rainer Hauser, Jana Koehler	Compiling Process Graphs into Executable Code.	GPCE	2004	DBLP DOI BibTeX RDF
14	Adnan Darwiche	New Advances in Compiling CNF into Decomposable Negation Normal Form.	ECAI	2004	DBLP BibTeX RDF
14	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
14	Qin Ma 0002, Luc Maranget	Compiling Pattern Matching in Join-Patterns.	CONCUR	2004	DBLP DOI BibTeX RDF
14	Srinivas Bangalore	Compiling Boostexter Rules into a Finite-state Transducer.	ACL (Poster and Demonstration)	2004	DBLP BibTeX RDF
14	Volker Barthelmann	Advanced compiling techniques to reduce RAM usage of static operating systems.		2004	RDF
14	Domenico Cantone, Andrea Formisano 0001, Eugenio G. Omodeo, Calogero G. Zarba	Compiling dyadic first-order specifications into map algebra.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Fangzhen Lin	Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems.	J. Artif. Intell. Res.	2003	DBLP DOI BibTeX RDF
14	Martin Böhme, Bodo Manthey	The Computational Power of Compiling C++.	Bull. EATCS	2003	DBLP BibTeX RDF
14	James P. Delgrande, Torsten Schaub, Hans Tompits	A Framework for Compiling Preferences in Logic Programs.	Theory Pract. Log. Program.	2003	DBLP DOI BibTeX RDF
14	Conal Elliott, Sigbjørn Finne, Oege de Moor	Compiling embedded languages.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
14	Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim	Compiling for template-based run-time code generation.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
14	Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen	Compiling java for low-end embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	Java, embedded systems, compilers, interfaces
14	Stanley F. Chen	Compiling large-context phonetic decision trees into finite-state transducers.	INTERSPEECH	2003	DBLP DOI BibTeX RDF
14	Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio	A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.	FME	2003	DBLP DOI BibTeX RDF
14	Paul Klint	How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective.	IWPC	2003	DBLP DOI BibTeX RDF
14	Elena Moscu Panainte, Koen Bertels, Stamatis Vassiliadis	Compiling for the Molen Programming Paradigm.	FPL	2003	DBLP DOI BibTeX RDF
14	Michael Y. Levin	Compiling regular patterns.	ICFP	2003	DBLP DOI BibTeX RDF	compilation, pattern matching
14	T. K. Lee, Sherif Yusuf, Wayne Luk, Morris Sloman, Emil Lupu, Naranker Dulay	Compiling Policy Descriptions into Reconfigurable Firewall Processors.	FCCM	2003	DBLP DOI BibTeX RDF
14	Manny Rayner, Beth Ann Hockey, John Dowding	An Open-Source Environment for Compiling Typed Unification Grammars into Speech Recognisers.	EACL	2003	DBLP BibTeX RDF
14	Zhiguo Ge, Jirong Liao, Weng-Fai Wong	Compiling to FPGAs via an EPIC compiler's intermediate representation.	FPT	2003	DBLP DOI BibTeX RDF
14	Bertram Ludäscher, Ilkay Altintas, Amarnath Gupta	Compiling Abstract Scientific Workflows into Web Service Workflows.	SSDBM	2003	DBLP DOI BibTeX RDF
14	Alfredo Gabaldon	Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.	IJCAI	2003	DBLP BibTeX RDF
14	Jens Teubner	Pathfinder: Compiling XQuery for Execution on the Monet Database Engine.	VLDB PhD Workshop	2003	DBLP BibTeX RDF
14	Roland Weiss	Compiling and distributing generic libraries with heterogeneous data and code representation.		2003	RDF
14	Alvaro E. Arenas	An Algebraic Approach for Compiling Real-Time Programs.	MTCS	2002	DBLP DOI BibTeX RDF
14	Yasunori Nishitani, Kiyoshi Negishi, Hiroshi Ohta, Eiji Nunohiro	Techniques for compiling and implementing all NAS parallel benchmarks in HPF.	Concurr. Comput. Pract. Exp.	2002	DBLP DOI BibTeX RDF
14	Tzung-Shi Chen, Chih-Yung Chang	Skewed Data Partition and Alignment Techniques for Compiling Programs on Distributed Memory Multicomputers.	J. Supercomput.	2002	DBLP DOI BibTeX RDF
14	Dan-Hee Yang, Ik-Hwan Lee, Pascual Cantos	On the Corpus Size Needed for Compiling a Comprehensive Computational Lexicon by Automatic Lexical Acquisition.	Comput. Humanit.	2002	DBLP DOI BibTeX RDF
14	Tomaz Erjavec	Compiling and Using the IJS-ELAN Parallel Corpus.	Informatica (Slovenia)	2002	DBLP BibTeX RDF
14	James P. Delgrande, Torsten Schaub, Hans Tompits	A Framework for Compiling Preferences in Logic Programs	CoRR	2002	DBLP BibTeX RDF
14	Warwick Harvey, Peter J. Stuckey, Alan Borning	Fourier Elimination for Compiling Constraint Hierarchies.	Constraints An Int. J.	2002	DBLP DOI BibTeX RDF
14	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
14	R. Venugopal, Ravindra B. Keskar	Compiling Safe Mobile Code.	The Compiler Design Handbook	2002	DBLP DOI BibTeX RDF
14	Mayur Naik, Jens Palsberg	Compiling with code-size constraints.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	banked architecture, register allocation, integer linear programming, space optimization
14	Francisco José Galán, José Miguel Cañete	Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
14	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
14	Michael Ward, Neil C. Audsley	Language issues of compiling Ada to hardware.	IRTAW	2002	DBLP DOI BibTeX RDF
14	Rakesh Kumar 0002, Dean M. Tullsen	Compiling for instruction cache performance on a multithreaded architecture.	MICRO	2002	DBLP DOI BibTeX RDF
14	Pierre E. Bonzon	Compiling Dynamic Agent Conversations.	KI	2002	DBLP DOI BibTeX RDF
14	Alexander G. Dean	Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF	thread integration, Embedded system, real-time, compiler, concurrency, hardware to software migration
14	K. W. Ko, I. T. Kim, Sang Bong Yoo, Ki-Chang Kim, Soo Duk Kim, J. S. Kim, Yong Surk Lee	Compiling Rule-Based Agent for Distributed Databases.	IICS	2002	DBLP DOI BibTeX RDF
14	Mihai Budiu, Seth Copen Goldstein	Compiling Application-Specific Hardware.	FPL	2002	DBLP DOI BibTeX RDF
14	Rishi Kumar, Gagan Agrawal, Guang R. Gao	Compiling Several Classes of Communication Patterns on a Multithreaded Architecture.	IPDPS	2002	DBLP DOI BibTeX RDF
14	A. P. Wim Böhm, J. Ross Beveridge, Bruce A. Draper, Charlie Ross, Monica Chawathe, Walid A. Najjar	Compiling ATR Probing Codes for Execution on FPGA Hardware.	FCCM	2002	DBLP DOI BibTeX RDF
14	George Almási 0001, David A. Padua	MaJIC: Compiling MATLAB for Speed and Responsiveness.	PLDI	2002	DBLP DOI BibTeX RDF
14	Arran Derbyshire, Wayne Luk	Compiling run-time parametrisable designs.	FPT	2002	DBLP DOI BibTeX RDF
14	Alexander G. Dean	Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration.	RTSS	2002	DBLP DOI BibTeX RDF
14	Geoff Pike, Paul N. Hilfinger	Better tiling and array contraction for compiling scientific programs.	SC	2002	DBLP DOI BibTeX RDF
14	Georgios I. Goumas, Nikolaos Drosinos, Maria Athanasaki, Nectarios Koziris	Compiling Tiled Iteration Spaces for Clusters.	CLUSTER	2002	DBLP DOI BibTeX RDF	clusters, MPI, code generation, data parallel, Loop tiling
14	José Miguel Aguilar Río	Compiling an Interactive Literary Translation Web Site for Education Purposes.	LREC	2002	DBLP BibTeX RDF
14	Michael Ward, Neil C. Audsley	Language Issues of Compiling Ada to Hardware.	Ada-Europe	2002	DBLP DOI BibTeX RDF
14	Jiajing Zhu	Programming and Compiling for Distributed Architectures		2002	RDF
14	Kuei-Ping Shih, Ching-Ying Lai, Jang-Ping Sheu, Yu-Chee Tseng	Design and Implementation of a Communication-Efficient Data-Parallel Program Compiling System.	J. Inf. Sci. Eng.	2001	DBLP BibTeX RDF
14	Robert Rinker, M. Carter, A. Patel, Monica Chawathe, Charlie Ross, Jeffrey Hammes, Walid A. Najjar, A. P. Wim Böhm	An automated process for compiling dataflow graphs into reconfigurable hardware.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
14	José Luis Ambite, Craig A. Knoblock, Ion Muslea, Andrew Philpot	Compiling Source Descriptions for Efficient and Flexible Information Integration.	J. Intell. Inf. Syst.	2001	DBLP DOI BibTeX RDF
14	Gerhard Goos	Issues in Compiling.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
14	Joachim Schmid 0001	Compiling Abstract State Machines to C++.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
14	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz 0001	Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
14	Minh Binh Do, Subbarao Kambhampati	Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP.	Artif. Intell.	2001	DBLP DOI BibTeX RDF
14	Tyson Dowd, Fergus Henderson, Peter Ross	Compiling Mercury to the .NET Common Language Runtime.	BABEL	2001	DBLP DOI BibTeX RDF
14	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	The Hyperion system: Compiling multithreaded Java bytecode for distributed execution.	Parallel Comput.	2001	DBLP DOI BibTeX RDF
14	Vitaliy Kluev	Compiling Document Collections from the Internet.	SIGIR Forum	2001	DBLP DOI BibTeX RDF
14	Vinod Kathail, Michael S. Schlansker, B. Ramakrishna Rau	Compiling for EPIC architectures.	Proc. IEEE	2001	DBLP DOI BibTeX RDF
14	Pierre Flener, Brahim Hnich, Zeynep Kiziltan	Compiling High-Level Type Constructors in Constraint Programming.	PADL	2001	DBLP DOI BibTeX RDF
14	Xianglong Huang, Zhenlin Wang, Kathryn S. McKinley	Compiling for the Impulse Memory Controller.	IEEE PACT	2001	DBLP DOI BibTeX RDF