Search results for "compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47		Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Chitta Baral	Organizing Committee.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	A Tool for Knowledge Base Integration and Querying.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Boris A. Galitsky	Building a Repository of Background Knowledge Using Semantic Skeletons.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Michael Gelfond, J. Nelson Rushton, Weijun Zhu	Combining Logical and Probabilistic Reasoning.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Vladimir Lifschitz, Wanwan Ren	Towards a Modular Action Description Language.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Richard B. Scherl	Development of a Background Knowledge-Base about Shipping and Smuggling.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Peter Clark, Philip Harrison, Tom Jenkins, John A. Thompson, Rick Wojcik	From WordNet to a Knowlege Base.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira	An Introduction to the Syntax and Content of Cyc.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Chitta Baral, Saadat Anwar, Juraj Dzifcak	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Michael Gelfond	Going Places: Notes on a Modular Development of Knowledge about Travel.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Alfredo Gabaldon	Hierarchical Task Libraries in (Con) Golog.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
47	Joohyung Lee 0002, Vladimir Lifschitz	A Knowledge Module: Buying and Selling.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
41	Yaohang Li, Daniel Chen, Xiaohong Yuan	Trustworthy remote compiling services for grid-based scientific applications.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Security, Grid computing, Trustworthiness, Remote execution
41	Fergus Henderson, Zoltan Somogyi	Compiling Mercury to High-Level C Code.	CC	2002	DBLP DOI BibTeX RDF	programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury
40	Zhiyi Hwang, Shouren Hu	A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Compiling, Logic programming, Prolog, Data-dependence, Parallel execution, And-parallelism
36	Matthias Grumer, Manuel Wendt, Stefan Lickl, Christian Steger, Reinhold Weiss, Ulrich Neffe, Andreas Mühlberger	Software Power Peak Reduction on Smart Card Systems Based on Iterative Compiling.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Software power optimization, Peak reduction, Smart card systems, Power profile analysis, Iterative compiling
36	Jingling Xue	Constructing DO loops for non-convex iteration spaces in compiling for parallel machines.	IPPS	1995	DBLP DOI BibTeX RDF	DO loops, nonconvex iteration spaces, parallel machines compiling, index points, communication code, code generation problems, code generation, program compilers, shared memory systems, distributed memory systems, data transfer, nested loops, lexicographical order, convex polyhedron
36	Gilles Barthe, John Hatcliff, Morten Heine Sørensen	Reflections on Reflections.	PLILP	1997	DBLP DOI BibTeX RDF
32	Steve McKeever, Wayne Luk, Arran Derbyshire	Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries.	FMCAD	2002	DBLP DOI BibTeX RDF
32	Daniel Diaz 0001, Philippe Codognet	GNU Prolog: Beyond Compiling Prolog to C.	PADL	2000	DBLP DOI BibTeX RDF
32	Olivier Danvy, René Vestergaard	Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF
32	Joachim Posegga	Compiling Proof Search in Semantic Tableaux.	ISMIS	1993	DBLP DOI BibTeX RDF
32	Jacques Cohen, Timothy J. Hickey	Parsing and Compiling Using Prolog.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Prolog
32	John E. Howland	A system for compiling fonts.	APL	1987	DBLP DOI BibTeX RDF	APL
32	Charles N. Fischer	On Parsing and Compiling Arithmetic Expressions on Vector Computers.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
31	Fabian Diet, Erik H. D'Hollander, Kristof Beyls, Harald Devos	Embedding Smart Buffers for Window Operations in a Stream-Oriented C-to-VHDL Compiler.	DELTA	2008	DBLP DOI BibTeX RDF	C-to-VHDL compiling, Impulse-C, Smart buffer, FPGA, High-performance computing
31	Jue Wang 0013, Changjun Hu, Jianjiang Li	Contention-Free Communication Scheduling for Group Communication in Data Parallelism.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Distributed memory multi-computers, Group communication, Parallel compiling, Data parallelism, Communication scheduling
31	Dingxing Wang, Weimin Zheng, Jianxin Xiong	Research on cluster of workstations.	ISPAN	1997	DBLP DOI BibTeX RDF	high-performance communication, reduced communication protocol, parallel compiling systems, parallel debugger, execution fault recovery tool, load balancing, parallel programming, programming environment, PVM, cluster of workstations, COW
28	Tomofumi Yuki, Sanjay V. Rajopadhye	Folklore Confirmed: Compiling for Speed = Compiling for Energy.	LCPC	2013	DBLP DOI BibTeX RDF
28	Sylvain Piechowiak, Joaquin Rodriguez	Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing	CoRR	2000	DBLP BibTeX RDF
28	Philip M. Lewis	B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
28	Alfred V. Aho, Jeffrey D. Ullman	The theory of parsing, translation, and compiling. 2: Compiling.		1973	RDF
27	Gagan Agrawal, Alan Sussman, Joel H. Saltz	An Integrated Runtime and Compile-Time Approach for Parallelizing Structured and Block Structured Applications.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Compiler support, distributed memory parallel machines, multiblock codes, multigrid codes, High-Performance Fortran, runtime support
27	Laurence Puel, Ascánder Suárez	Optimal Solutions to Pattern Matching Problems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
23	Mark Hampton, Krste Asanovic	Compiling for vector-thread architectures.	CGO	2008	DBLP DOI BibTeX RDF	compilers, code generation, vector processors
23	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
23	Luc Maranget	Compiling pattern matching to good decision trees.	ML	2008	DBLP DOI BibTeX RDF	match compilers, heuristics, decision trees
23	Walid A. Najjar	Compiling code accelerators for FPGAs.	CASES	2007	DBLP DOI BibTeX RDF	FPGA code acceleration
23	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
23	Oliver Pell, Wayne Luk	Compiling Higher-Order Polymorphic Hardware Descriptions Into Parametrised VHDL Libraries with Flexible Placement Information.	FPL	2006	DBLP DOI BibTeX RDF
23	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
23	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
23	Sathiamoorthy Subbarayan	Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
23	David A. Wheeler	Countering Trusting Trust through Diverse Double-Compiling.	ACSAC	2005	DBLP DOI BibTeX RDF
23	Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai	Compiling IOA without Global Synchronization.	NCA	2004	DBLP DOI BibTeX RDF
23	Graham Hutton, Joel J. Wright	Compiling Exceptions Correctly.	MPC	2004	DBLP DOI BibTeX RDF
23	Christopher D. Rickett, Sung-Eun Choi, Bradford L. Chamberlain	Compiling High-Level Languages for Vector Architectures.	LCPC	2004	DBLP DOI BibTeX RDF
23	Tim Wahls	Compiling Formal Specifications to Oz Programs.	MOZ	2004	DBLP DOI BibTeX RDF
23	Stephen A. Edwards	Tutorial: Compiling concurrent languages for sequential processors.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	communication, Petri nets, Compilation, concurrency, code generation, partial evaluation, dataflow, Verilog, Esterel, sequential, Lustre, discrete-event
23	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
23	François Barbançon, Daniel P. Miranker	Implementing Federated Database Systems by Compiling SchemaSQL.	IDEAS	2002	DBLP DOI BibTeX RDF
23	Bernard P. Serpette, Manuel Serrano	Compiling scheme to JVM bytecode: : a performance study.	ICFP	2002	DBLP DOI BibTeX RDF	compilation, scheme, Java virtual machine, functional languages
23	Axel Dold, Vincent Vialard	A Mechanically Verified Compiling Specification for a Lisp Compiler.	FSTTCS	2001	DBLP DOI BibTeX RDF
23	David Wakeling	Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
23	Nick Benton, Andrew Kennedy, George Russell	Compiling Standard ML to Java Bytecodes.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language, Java
23	Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr	A New Approach to Compiling Adaptive Programs.	ESOP	1996	DBLP DOI BibTeX RDF
23	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
23	Peter J. Stuckey, S. Sudarshan 0001	Compiling Query Constraints.	PODS	1994	DBLP DOI BibTeX RDF
23	Sam Weber, Bard Bloom, Geoffrey Brown	Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.	REX Workshop	1992	DBLP DOI BibTeX RDF
23	Timothy A. Budd, Rajeev K. Pandey	Compiling APL for Parallel and Vector Execution.	APL	1991	DBLP DOI BibTeX RDF	APL
23	Michael Hanus	Compiling Logic Programs with Equality.	PLILP	1990	DBLP DOI BibTeX RDF
23	Jonathan P. Bowen, Jifeng He 0001, Paritosh K. Pandya	An Approach to Verifiable Compiling Specification and Prototyping.	PLILP	1990	DBLP DOI BibTeX RDF
23	Laurence Puel, Ascánder Suárez	Compiling Pattern Matching by Term Decomposition.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
23	Ping-Sheng Tseng	Compiling Programs for a Linear Systolic Array.	PLDI	1990	DBLP DOI BibTeX RDF	AL
23	Yoshikazu Tanaka, Kyouko Iwasawa, Shizuo Gotou, Yukio Umetani	Compiling techniques for first-order liner recurrences on a Vector computer.	SC	1988	DBLP DOI BibTeX RDF
23	William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger	Compiling Smalltalk-80 to a RISC.	ASPLOS	1987	DBLP DOI BibTeX RDF	RISC, Smalltalk-80
23	Steven R. House	Compiling in parallel.	CONPAR	1981	DBLP DOI BibTeX RDF
23	Jaroslav Král, Jirí Demner	Parsing as a Subtask of Compiling.	MFCS	1975	DBLP DOI BibTeX RDF
23	Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison	Stack automata and compiling.	J. ACM	1967	DBLP DOI BibTeX RDF
23	James P. Anderson	A note on some compiling algorithms.	Commun. ACM	1964	DBLP DOI BibTeX RDF
22	Changjun Hu, Yewei Shao, Jue Wang 0013, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
22	Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou	Optimizing code through iterative specialization.	SAC	2008	DBLP DOI BibTeX RDF	analysis and transformation, program optimization and specialization, programming languages implementation, compiling techniques
22	Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon	Proof producing synthesis of arithmetic and cryptographic hardware.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Cryptography, Compiling, Theorem proving, Hardware synthesis, High assurance
22	Xiaoqing Wu, Suman Roychoudhury, Barrett R. Bryant, Jeffrey G. Gray, Marjan Mernik	A two-dimensional separation of concerns for compiler construction.	SAC	2005	DBLP DOI BibTeX RDF	pattern transformation, compiling, aspect-oriented programming, separation of concerns
22	Mihail F. Ionescu, Ivan Marsic	Stateful publish-subscribe for mobile environments.	WMASH	2004	DBLP DOI BibTeX RDF	run-time compiling, stateful publish-subscribe, sublim
22	C. Wayne Brown	Teaching graphics using Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	Ada, computer graphics, C, VRML, cross compiling, code conversion
22	Adnan Darwiche	A differential approach to inference in Bayesian networks.	J. ACM	2003	DBLP DOI BibTeX RDF	compiling probabilistic models, Bayesian networks, Probabilistic reasoning, circuit complexity
22	Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries	Weaving Ada 95 into the .net environment.	SIGAda	2002	DBLP DOI BibTeX RDF	Microsoft .Net environment, common language runtime, Ada 95, just-in-time compiling
22	Yingchun Zhu, Laurie J. Hendren	Locality Analysis for Parallel C Programs.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	compiling for parallel architectures, multithreaded architectures, Locality analysis
22	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
22	Suzanne M. Embury, Peter M. D. Gray	A Modular Compiler Architecture for a Data Manipulation Language.	BNCOD	1996	DBLP DOI BibTeX RDF	run-time compiling, semantic data models, data manipulation languages
22	Randy Allen, Ken Kennedy	Vector Register Allocation.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	vector register allocation, compiling vector languages, aggressive program transformations, parallel processing, program compilers, data dependence, supercomputers
22	Emmanuel Kounalis	Pumping Lemmas for Tree Languages Generated by Rewrite Systems.	MFCS	1990	DBLP DOI BibTeX RDF	Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages
22	François Baccelli, Philippe Mussi	An Asynchronous Parallel Interpreter for Arithmetic Expressions and Its Evaluation.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	stochastic grammars, paraDlel parsing, performance evaluation, distributed systems, parallel compiling, Branching process
22	Thomas W. Christopher, Philip J. Hatcher, Ronald C. Kukuk	Using dynamic programming to generate optimized code in a Graham-Glanville style code generator.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF	Earley's Algorithm, Graham-Glanville, Compiling, Dynamic Programming, Code Generation
18	Jie-Zhi Cheng, Elodia B. Cole, Etta D. Pisano, Dinggang Shen	Detection of Arterial Calcification in Mammograms by Random Walks.	IPMI	2009	DBLP DOI BibTeX RDF	Breast arterioal calcification, Vessel detection, Random walk, Mammogram
18	Mingwei Xu, Ke Xu 0002, Yong Cui 0001, Jianping Wu	NetRiver, a computer network experiment system.	Summit on Computing Education in China	2008	DBLP DOI BibTeX RDF	automatic test, script, integrated environment, experimental system
18	Arquimedes Canedo, Masahiro Sowa, Ben A. Abderazek	Quantitative Evaluation of Common Subexpression Elimination on Queue Machines.	ISPAN	2008	DBLP DOI BibTeX RDF	Queue Computation Model, Queue Processor, Optimization, Compiler
18	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
18	Desiree Ottoni, Guilherme Ottoni, Guido Araujo, Rainer Leupers	Offset assignment using simultaneous variable coalescing.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Stack offset assignment, address registers, autoincrement addressing modes, variable coalescing, DSPs, register allocation
18	Kyungwoo Lee, Samuel P. Midkiff	A two-phase escape analysis for parallel java programs.	PACT	2006	DBLP DOI BibTeX RDF	compilation models, java, memory models, consistency models, escape analysis
18	Xiangdong An 0001, Nick Cercone	Iterative Compilation of Multiagent Probabilistic Graphical Models.	IAT	2006	DBLP DOI BibTeX RDF
18	Juan Chen, David Tarditi	A simple typed intermediate language for object-oriented languages.	POPL	2005	DBLP DOI BibTeX RDF	class and object encoding, typed intermediate language
18	Shin-Jia Hwang, Kuang-Hsi Chen	A Proxy Automatic Signature Scheme Using a Compiler in Distributed Systems for (Unknown) Virus Detection.	AINA	2005	DBLP DOI BibTeX RDF
18	Gregory M. Provan	Approximate Model-Based Diagnosis Using Preference-Based Compilation.	SARA	2005	DBLP DOI BibTeX RDF
18	Remko Tronçon, Gerda Janssens, Henk Vandecasteele	Fast Query Evaluation with (Lazy) Control Flow Compilation.	ICLP	2004	DBLP DOI BibTeX RDF
18	Yangsun Lee 0002, Seungwon Na	Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems.	KES	2004	DBLP DOI BibTeX RDF
18	Junpei Niwa	Prefetch Mechanism in Compiler-Assisted S-DSM System.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
18	Lorenzo Verdoscia, Marco Danelutto, Raffaele Esposito	CODACS Prototype: CHIARA Language and Its Compilers.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	reconfigurable parallel architecture, FPGA, functional programming, dataflow computing