Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Manny Rayner, John Dowding, Beth Ann Hockey	A baseline method for compiling typed unification grammars into context free language models.	INTERSPEECH	2001	DBLP DOI BibTeX RDF
14	Jianwen Zhu, Daniel Gajski	Compiling SpecC for simulation.	ASP-DAC	2001	DBLP DOI BibTeX RDF
14	Bruce A. Draper, A. P. Wim Böhm, Jeffrey Hammes, Walid A. Najjar, J. Ross Beveridge, Charlie Ross, Monica Chawathe, Mitesh Desai, José Bins	Compiling SA-C Programs to FPGAs: Performance Results.	ICVS	2001	DBLP DOI BibTeX RDF
14	Marco Cadoli, Andrea Schaerf	Compiling Problem Specifications into SAT.	ESOP	2001	DBLP DOI BibTeX RDF
14	William R. Mark, Kekoa Proudfoot	Compiling to a VLIW Fragment Pipeline.	Workshop on Graphics Hardware	2001	DBLP DOI BibTeX RDF
14	Kwanghoon Choi 0001, Hyun-il Lim, Taisook Han	Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.	FLOPS	2001	DBLP BibTeX RDF
14	K. Schneider, M. Wenz	A new method for compiling schizophrenic synchronous programs.	CASES	2001	DBLP DOI BibTeX RDF	code generation, reactive systems, synchronous languages
14	Jiajing Zhu, Jay P. Hoeflinger, David A. Padua	Compiling for a Hybrid Programming Model Using the LMAD Representation.	LCPC	2001	DBLP DOI BibTeX RDF
14	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	Compiling PLAN to SNAP.	IWAN	2001	DBLP DOI BibTeX RDF
14	Aziz Salah, Rachida Dssouli, Guy Lapalme	Compiling Real-Time Scenarios into a Timed Automaton.	FORTE	2001	DBLP BibTeX RDF
14	John Dowding, Beth Ann Hockey, Jean Mark Gawron, Christopher Culy	Practical Issues in Compiling Typed Unification Grammars for Speech Recognition.	ACL	2001	DBLP BibTeX RDF
14	Gabriel Antoniu, Luc Bougé, Raymond Namyst, Christian Pérez	Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration.	Parallel Process. Lett.	2000	DBLP DOI BibTeX RDF
14	Kuei-Ping Shih, Jang-Ping Sheu, Chua-Huang Huang, Chih-Yung Chang	Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs.	J. Parallel Distributed Comput.	2000	DBLP DOI BibTeX RDF
14	Rebecca Hsue-Hueh Shih	Compiling Taiwanese Learner Corpus of English.	Int. J. Comput. Linguistics Chin. Lang. Process.	2000	DBLP BibTeX RDF
14	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling Language Definitions: The ASF+SDF Compiler	CoRR	2000	DBLP BibTeX RDF
14	Manny Rayner, Beth Ann Hockey, Frankie James, Elizabeth Owen Bratt, Sharon Goldwater, Jean Mark Gawron	Compiling Language Models from a Linguistically Motivated Unification Grammar	CoRR	2000	DBLP BibTeX RDF
14	Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron	Compiling and Verifying Security Protocols.	LPAR	2000	DBLP DOI BibTeX RDF
14	Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins	Compiling and Optimizing Image Processing Algorithms for FPGAs.	CAMP	2000	DBLP DOI BibTeX RDF	SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms
14	Peter Thiemann 0001	Compiling Adaptive Programs by Partial Evaluation.	CC	2000	DBLP DOI BibTeX RDF	compilation, semantics, object-oriented programming
14	Le Xuan Thang	Berlioz: Compiling Oz to Java Bytecode.	APLAS	2000	DBLP BibTeX RDF
14	Kathleen Fisher, John H. Reppy, Jon G. Riecke	A Calculus for Compiling and Linking Classes.	ESOP	2000	DBLP DOI BibTeX RDF
14	Bernardo Kastrup, Jeroen Trum, Orlando Moreira, Jan Hoogerbrugge, Jef L. van Meerbergen	Compiling Applications for ConCISe: An Example of Automatic HW/SW Partitioning and Synthesis.	FPL	2000	DBLP DOI BibTeX RDF
14	Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Miguel Varejão	Compiling Default Theory int Extended Logic Programming.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
14	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper).	Euro-Par	2000	DBLP DOI BibTeX RDF
14	Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai	Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation.	PRICAI	2000	DBLP DOI BibTeX RDF
14	Oliver Diessel, George J. Milne	Compiling Process Algebraic Descriptions into Reconfigurable Logic.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
14	Sylvie Coste-Marquis, Pierre Marquis	Compiling Stratified Belief Bases.	ECAI	2000	DBLP BibTeX RDF
14	Renato Ferreira 0001, Gagan Agrawal, Joel H. Saltz	Compiling object-oriented data intensive applications.	ICS	2000	DBLP DOI BibTeX RDF	Java
14	Tzung-Shi Chen, Chih-Yung Chang	Skewed Data Partition and Alignment Techniques for Compiling Programs on Distributed Memory Multicomputers.	ISHPC	2000	DBLP DOI BibTeX RDF
14	Manny Rayner, Beth Ann Hockey, Frankie James, Elizabeth Owen Bratt, Sharon Goldwater, Jean Mark Gawron	Compiling Language Models from a Linguistically Motivated Unification Grammar.	COLING	2000	DBLP BibTeX RDF
14	Renato Ferreira 0001, Gagan Agrawal, Ruoming Jin, Joel H. Saltz	Compiling Data Intensive Applications with Spatial Coordinates.	LCPC	2000	DBLP DOI BibTeX RDF
14	Robert Rinker, Jeffrey Hammes, Walid A. Najjar, A. P. Wim Böhm, Bruce A. Draper	Compiling Image Processing Applications to Reconfigurable Hardware.	ASAP	2000	DBLP DOI BibTeX RDF	compilers, Configurable computing, image processing applications
14	Jean-Luc Koning	Compiling a Conversation Policy's Implementation from its Validated Specification Model.	PDPTA	2000	DBLP BibTeX RDF
14	Minh Binh Do, Subbarao Kambhampati	Solving Planning-Graph by Compiling It into CSP.	AIPS	2000	DBLP BibTeX RDF
14	Miguel A. Alonso 0001, Djamé Seddah, Éric Villemonte de la Clergerie	Practical aspects in compiling tabular TAG parsers.	TAG+	2000	DBLP BibTeX RDF
14	Conal Elliott, Sigbjørn Finne, Oege de Moor	Compiling Embedded Languages.	SAIG	2000	DBLP DOI BibTeX RDF
14	Sergio Antoy, Michael Hanus	Compiling Multi-Paradigm Declarative Programs into Prolog.	FroCoS	2000	DBLP DOI BibTeX RDF
14	Stephen A. Edwards	Compiling Esterel into sequential code.	DAC	2000	DBLP DOI BibTeX RDF
14	Rainer Weigel, Boi Faltings	Compiling constraint satisfaction problems.	Artif. Intell.	1999	DBLP DOI BibTeX RDF
14	Jia-Huai You, Xianchang Wang, Li-Yan Yuan	Compiling Defeasible Inheritance Networks to General Logic Programs.	Artif. Intell.	1999	DBLP DOI BibTeX RDF
14	Neng-Fa Zhou, Sosuke Kaneko	A Hybrid Algorithm for Compiling Equality Constraints and its Implementation.	WOID@ICLP	1999	DBLP DOI BibTeX RDF
14	Lutz Prechelt	Exploiting Domain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	high-level parallel language, Compiler optimizations, communication optimization, dynamic data structures, irregular problems
14	Siegfried Benkner, Hans P. Zima	Compiling High Performance Fortran for distributed-memory architectures.	Parallel Comput.	1999	DBLP DOI BibTeX RDF
14	Dawson R. Engler	Interface Compilation: Steps Toward Compiling Program Interfaces as Languages.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Interface compilation, interface checking, interface optimization, compiler optimization, high-level languages, programming methodology
14	Erik Sandewall	An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
14	David M. Doolin, Jack J. Dongarra, Keith Seymour	JLAPACK-compiling LAPACK Fortran to Java.	Sci. Program.	1999	DBLP DOI BibTeX RDF
14	David Wakeling	Compiling lazy functional programs for the Java Virtual Machine.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
14	Gary Meehan, Mike Joy	Compiling Lazy Functional Programs to Java Bytecode.	Softw. Pract. Exp.	1999	DBLP DOI BibTeX RDF
14	Javier Pinto	Compiling Ramification Constraints into Effect Axioms.	Comput. Intell.	1999	DBLP DOI BibTeX RDF
14	Mikael Pettersson	Compiling Natural Semantics.		1999	DOI RDF
14	Steve Cassidy	Compiling multi-tiered speech databases into the relational model: experiments with the emu system.	EUROSPEECH	1999	DBLP BibTeX RDF
14	Marita Dücker, Bernd Gutkauf, Stefanie Thies	Negotiation support for compiling knowledge.	GROUP	1999	DBLP DOI BibTeX RDF	critiquing systems, knowledge acquisition, negotiation support
14	Erwin Laure, Matthew Haines, Piyush Mehrotra, Hans P. Zima	Compiling Data Parallel Tasks for Coordinated Execution.	Euro-Par	1999	DBLP DOI BibTeX RDF
14	Norman Neff	OO design in compiling an OO language.	SIGCSE	1999	DBLP DOI BibTeX RDF	Java, compilers, design patterns, object-oriented languages
14	Stephen A. Edwards	Compiling Esterel into sequential code.	CODES	1999	DBLP DOI BibTeX RDF
14	Benjamin N. Grosof	DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications.	AAAI/IAAI	1999	DBLP BibTeX RDF
14	Christian Wicke, Lubomir F. Bic, Michael B. Dillencourt	Compiling for fast state capture of mobile agents.	PARCO	1999	DBLP BibTeX RDF
14	Seon Wook Kim, Rudolf Eigenmann	Compiling for Speculative Architectures.	LCPC	1999	DBLP DOI BibTeX RDF
14	Christian Holzbaur, Thom W. Frühwirth	Compiling Constraint Handling Rules into Prolog with Attributed Variables.	PPDP	1999	DBLP DOI BibTeX RDF
14	Gabriel Antoniu, Luc Bougé, Raymond Namyst, Christian Pérez	Compiling Data-parallel Programs to a Distributed Runtime Environment with Thread Isomigration.	PDPTA	1999	DBLP BibTeX RDF
14	Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz	Interaction Schemata: Compiling Interactions to Code.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
14	Adnan Darwiche	Compiling Knowledge into Decomposable Negation Normal Form.	IJCAI	1999	DBLP BibTeX RDF
14	Wen-Hsing Wei, Kuei-Ping Shih, Jang-Ping Sheu	Compiling Array References with Affine Functions for Data-Parallel Programs.	J. Inf. Sci. Eng.	1998	DBLP BibTeX RDF
14	Fabrice Le Fessant, Luc Maranget	Compiling Join-Patterns.	HLCL	1998	DBLP DOI BibTeX RDF
14	Miguel Mateo Carmona, Miguel Katrib Mora, Tomás Couso Alvarez	Smart Compiling for Eiffel.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
14	Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.	Types in Compilation	1998	DBLP DOI BibTeX RDF
14	Marc Feeley, Martin Larose	Compiling Erlang to Scheme.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
14	Mutsunori Banbara, Naoyuki Tamura	Compiling Resources in a Linear Logic Programming Language.	Implementation Technology for Programming Languages based on Logic	1998	DBLP BibTeX RDF
14	Neng-Fa Zhou	A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.	IJCSLP	1998	DBLP BibTeX RDF
14	David B. Wortman	Compiling at 1000MHz and beyond.	Systems Implementation 2000	1998	DBLP BibTeX RDF
14	François Déchelle, Riccardo Borghesi, Maurizio De Cecco, Enzo Maggi, Butch Rovan, Norbert Schnell	Latest Evolutions of the jMax Real-time Engine: Typing, Scoping, Threading, Compiling.	ICMC	1998	DBLP BibTeX RDF
14	Darren C. Cronquist, Paul Franklin, Stefan G. Berg, Carl Ebeling	Specifying and Compiling Applications for RaPiD.	FCCM	1998	DBLP DOI BibTeX RDF
14	Maya B. Gokhale, Janice M. Stone	NAPA C: Compiling for a Hybrid RISC/FPGA Architecture.	FCCM	1998	DBLP DOI BibTeX RDF
14	Per Bothner	Kawa - Compiling Dynamic Languages to Java VM.	USENIX Annual Technical Conference	1998	DBLP BibTeX RDF
14	Vasile Palade, Severin Bumbaru, G. Negoita	A method for compiling neural networks into fuzzy rules using genetic algorithms and hierarchical approach.	KES (2)	1998	DBLP DOI BibTeX RDF
14	Manuel Alfonseca 0001, Enrique Alfonseca, Juan de Lara	Compiling a simulation language in APL.	APL	1998	DBLP DOI BibTeX RDF
14	Randall J. Fisher, Henry G. Dietz	Compiling for SIMD Within a Register.	LCPC	1998	DBLP DOI BibTeX RDF
14	Arjan J. C. van Gemund	Using High-Level Performance Prediction in Compiling for Distributed Systems.	HICSS (7)	1998	DBLP DOI BibTeX RDF
14	Yan Georget, Philippe Codognet	Compiling Semiring-Based Constraints with clp (FD, S).	CP	1998	DBLP DOI BibTeX RDF
14	Martin Fränzle, Karsten Lüth	Compiling Graphical Real-Time Specifications into Silicon.	FTRTFT	1998	DBLP DOI BibTeX RDF
14	Adnan Darwiche	Compiling Devices: A Structure-Based Approach.	KR	1998	DBLP BibTeX RDF
14	Ghica van Emde Boas-Lubsen, Peter van Emde Boas	Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness.	SOFSEM	1998	DBLP DOI BibTeX RDF
14	Sébastien Hoarau, Frédéric Mesnard	Inferring and Compiling Termination for Constraint Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
14	Andrew Shaw	Compiling for parallel multithreaded computation on symmetric multiprocessors.		1998	RDF
14	Jonathan C. Hardwick, Girija J. Narlikar, Jay Sipelstein	Interactive Simulations on the Web: Compiling NESL into Java.	Concurr. Pract. Exp.	1997	DBLP DOI BibTeX RDF
14	Yunheung Paek, David A. Padua	Compiling for Scalable Multiprocessors with Polaris.	Parallel Process. Lett.	1997	DBLP DOI BibTeX RDF
14	Timothy Cramer, Richard Friedman, Terrence Miller, David Seberger, Robert Wilson, Mario Wolczko	Compiling Java just in time.	IEEE Micro	1997	DBLP DOI BibTeX RDF
14	Thomas Leo McCluskey, J. M. Porteous	Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency.	Artif. Intell.	1997	DBLP DOI BibTeX RDF
14	James P. Delgrande, Torsten Schaub	Compiling Specificity Into Approaches to Nonmonotonic Reasoning.	Artif. Intell.	1997	DBLP DOI BibTeX RDF
14	Laurie J. Hendren, Xinan Tang, Yingchun Zhu, Shereen Ghobrial, Guang R. Gao, Xun Xue, Haiying Cai, Pierre Ouellet	Compiling C for the EARTH multithreaded architecture.	Int. J. Parallel Program.	1997	DBLP DOI BibTeX RDF
14	Edward Walker, Gary Morgan, Bruce Cass, Zygmunt Ulanowski	A Note on Compiling FORTRAN Loop Kernels Onto a Dataflow Architecture.	Parallel Comput.	1997	DBLP DOI BibTeX RDF
14	Robert E. Filman, Paul H. Morris	Compiling Knowledge-Based Systems to Ada: The PrkAda ProTalk Compiler.	Int. J. Artif. Intell. Tools	1997	DBLP DOI BibTeX RDF
14	Robert E. Filman, Paul H. Morris	Compiling Knowledge-Based Systems to Ada: The PrkAda Core.	Int. J. Artif. Intell. Tools	1997	DBLP DOI BibTeX RDF
14	Nick Bassiliades, Ioannis P. Vlahavas	DEVICE: Compiling production rules into event-driven rules using complex events.	Inf. Softw. Technol.	1997	DBLP DOI BibTeX RDF
14	Tim Geisler, Sven Panne, Heribert Schütz	Satchmo - The Compiling and Functional Variants.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
14	Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr	A New Approach to Compiling Adaptive Programs.	Sci. Comput. Program.	1997	DBLP DOI BibTeX RDF
14	M. Jacques, Jacques Malenfant	Compiling an object-oriented language by program transformation.	LMO	1997	DBLP BibTeX RDF
14	T. Brandes	Compiling high performance fortran for shared memory and shared virtual memory systems.	PDP	1997	DBLP BibTeX RDF
14	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
14	Mahmut T. Kandemir, Rajesh Bordawekar, Alok N. Choudhary	Data Access Reorganizations in Compiling Out-of-Core Data Parallel Programs on Distributed Memory Machines.	IPPS	1997	DBLP DOI BibTeX RDF