Search results for "compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Adnan Darwiche	Decomposable negation normal form.	J. ACM	2001	DBLP DOI BibTeX RDF	Boolean functions, satisfiability, propositional logic, model-based diagnosis, knowledge compilation
9	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
9	Ernst-Erich Doberkat, Eugenio G. Omodeo	Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.	RelMiCS	2001	DBLP DOI BibTeX RDF
9	Anders Nilsson 0003, Torbjörn Ekman 0001	Deterministic Java in Tiny Embedded Systems.	ISORC	2001	DBLP DOI BibTeX RDF
9	Elizabeth Latronico, Philip Koopman	Representing Embedded System Sequence Diagrams as a Formal Language.	UML	2001	DBLP DOI BibTeX RDF
9	José E. Moreira, Samuel P. Midkiff, Manish Gupta 0002	A comparison of three approaches to language, compiler, and library support for multidimensional arrays in Java.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
9	Eduard Mehofer, Bernhard Scholz	A Novel Probabilistic Data Flow Framework.	CC	2001	DBLP DOI BibTeX RDF
9	Giuliano Antoniol, Massimiliano Di Penta, Gerardo Casazza, Ettore Merlo	A Method to Re-Organize Legacy Systems via Concept Analysis.	IWPC	2001	DBLP DOI BibTeX RDF	architectural restructuring, dependency removals, program understanding, concept analysis
9	Shin-ya Katsumata, Atsushi Ohori	Proof-Directed De-compilation of Low-Level Code.	ESOP	2001	DBLP DOI BibTeX RDF
9	Srihari Cadambi, Seth Copen Goldstein	Static Profile-Driven Compilation for FPGAs.	FPL	2001	DBLP DOI BibTeX RDF
9	David W. Walker, Kenneth A. Hawick, Domenico Laforenza, Efstratios Gallopoulos	Topic 19: Problem Solving Environments.	Euro-Par	2001	DBLP DOI BibTeX RDF
9	Cungen Cao 0001	Medical Knowledge Acquisition from the Electronic Encyclopedia of China.	AIME	2001	DBLP DOI BibTeX RDF
9	Alan Mycroft, Richard Sharp	Hardware Synthesis Using SAFL and Application to Processor Design.	CHARME	2001	DBLP DOI BibTeX RDF
9	Sid Ahmed Ali Touati	Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems.	CODES	2001	DBLP DOI BibTeX RDF	cache effects, optimal acyclic schedule, register constraints, integer programming, resources constraints
9	Morgan Hirosuke Miki, Mamoru Sakamoto, Shingo Miyamoto, Yoshinori Takeuchi, Toyohiko Yoshida, Isao Shirakawa	Evaluation of processor code efficiency for embedded systems.	ICS	2001	DBLP DOI BibTeX RDF	profiling, processor architecture, code efficiency
9	Mark N. Yankelevsky, Constantine D. Polychronopoulos	alpha-coral: a multigrain, multithreaded processor architecture.	ICS	2001	DBLP DOI BibTeX RDF	processor archietecture, multithreaded, parallelizing compiler
9	K. John Gough	Stacking them up: a Comparison of Virtual Machines.	ACSAC	2001	DBLP DOI BibTeX RDF
9	Olivier Danvy, Lasse R. Nielsen	A Higher-Order Colon Translation.	FLOPS	2001	DBLP DOI BibTeX RDF
9	Walter F. Bischof, Terry Caelli	Learning Complex Action Patterns with CRGST.	ICAPR	2001	DBLP DOI BibTeX RDF	action learning, domain knowledge constraints, conditional rule generation, relational learning, spatio-temporal patterns
9	Vladimir Kotlyar, David Bau, Induprakas Kodukula, Keshav Pingali, Paul Stodghill	Solving Alignment Using Elementary Linear Algebra.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
9	Chung-Hsing Hsu, Ulrich Kremer	Dynamic Voltage and Frequency Scaling for Scientific Applications.	LCPC	2001	DBLP DOI BibTeX RDF
9	Guillaume Pierre, Maarten van Steen	Globule: A Platform for Self-Replicating Web Documents.	PROMS	2001	DBLP DOI BibTeX RDF
9	V. Fanberg	Use of Binary File Comparison Tools in Software Release Management.	APAQS	2001	DBLP DOI BibTeX RDF
9	Kuei-Ping Shih, Jang-Ping Sheu, Chih-Yung Chang	Efficient Address Generation for Affine Subscripts in Data-Parallel Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	affine subscripts, multiple induction variables (MIVs), data distribution, distributed-memory multicomputers, single program multiple data (SPMD), data-parallel languages, address generation
9	Youichi Kobuchi, Takashi Saito, Hidenobu Nunome	Semantics analysis through elementary meanings.	Acta Informatica	2000	DBLP DOI BibTeX RDF
9	Fabien Quilleré, Sanjay V. Rajopadhye	Optimizing memory usage in the polyhedral model.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	applicative (functional) languages, lifetime analysis, parallel code generation, scheduling, memory management, dependence analysis, automatic parallelization, dataflow analysis, polyhedral model, data-parallel languages, affine recurrence equations
9	Reinhard von Hanxleden, Ken Kennedy	A balanced code placement framework.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Tarjan intervals, data-flow analysis, high performance Fortran, latency hiding, partial redundancy elimination, Fortran D
9	John Sargeant, Chris C. Kirkham, Ian Watson	Exploiting Implicit Parallelism in Functional Programs with SLAM.	IFL	2000	DBLP DOI BibTeX RDF
9	Hirokazu Nagasawa, Nobuhiro Omori, Masakazu Nishino	NetMars: Next-Generation Digital Image Library System.	ISORC	2000	DBLP DOI BibTeX RDF	copyright processing, secondary usage, CORBA, video contents
9	Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.	ISORC	2000	DBLP DOI BibTeX RDF
9	Rainer Leupers	Code Selection for Media Processors with SIMD Instructions.	DATE	2000	DBLP DOI BibTeX RDF
9	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
9	Oswaldo Terán, Bruce Edmonds, Steve Wallis	Mapping the Envelope of Social Simulation Trajectories.	MABS	2000	DBLP DOI BibTeX RDF
9	Peter Thiemann 0001	An Algebraic Foundation for Adaptive Programming.	FoSSaCS	2000	DBLP DOI BibTeX RDF
9	Kai Zhang, John M. Mellor-Crummey, Robert J. Fowler	Compilation and Runtime-Optimizations for Software Distributed Shared Memory.	LCR	2000	DBLP DOI BibTeX RDF
9	Nicola Zingirian, Massimo Maresca	Run-Time Support to Register Allocation for Loop Parallelization of Image Processing Programs.	HPCN	2000	DBLP DOI BibTeX RDF	Dynamic Register Renaming, Image Processing, Instruction Level Parallelism, Register Allocation, Loop Parallelization
9	Chris J. Harrison, Majid Naeem	A Model-Oriented Programming Support Environment for Software Engineering Courses.	CSEE&T	2000	DBLP DOI BibTeX RDF	Model-oriented programming support environment, objects, operations, attributes, state, descriptions
9	Ken Kennedy	Telescoping Languages: A Compiler Strategy for Implementation of High-Level Domain-Specific Programming Systems.	IPDPS	2000	DBLP DOI BibTeX RDF	interprocedural compilation, inline expansion, scripting language, software productivity, problem-solving environment
9	Henry A. Kautz	Scalable Knowledge Representation and Reasoning Systems.	CADE	2000	DBLP DOI BibTeX RDF
9	George C. Necula	Translation validation for an optimizing compiler.	PLDI	2000	DBLP DOI BibTeX RDF
9	Gary M. Zoppetti, Gagan Agrawal, Lori L. Pollock, José Nelson Amaral, Xinan Tang, Guang R. Gao	Automatic compiler techniques for thread coarsening for multithreaded architectures.	ICS	2000	DBLP DOI BibTeX RDF
9	Srihari Cadambi, Seth Copen Goldstein	Efficient Place and Route for Pipeline Reconfigurable Architectures.	ICCD	2000	DBLP DOI BibTeX RDF
9	Rajeev Alur	Exploiting Hierarchical Structure for Efficient Formal Verification.	CONCUR	2000	DBLP DOI BibTeX RDF
9	Ivan D. Baev, Waleed Meleis, Alexandre E. Eichenberger	Lower Bounds on Precedence-Constrained Scheduling for Parallel Processors.	ICPP	2000	DBLP DOI BibTeX RDF
9	Jürgen Schumacher, Ralph Bergmann	An Efficient Approach to Similarity-Based Retrieval on Top of Relational Databases.	EWCBR	2000	DBLP DOI BibTeX RDF
9	Eric Hung-Yu Tseng, Jean-Luc Gaudiot	Communication Generation for Aligned and Cyclic(K) Distributions Using Integer Lattice.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	message passing, HPF, communication optimizations, Distributed arrays, Smith-Normal-Form
9	Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee	Synthesis of Embedded Software from Synchronous Dataflow Specifications.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
9	Madhavi Gopal Valluri, R. Govindarajan	Evaluating Register Allocation and Instruction Scheduling Techniques in Out-Of-Order Issue Processors.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Out-of-order Issue Processors, Instruction-Level Parallelism, Register Allocation, Instruction Scheduling, Integrated Methods
9	Alex Doboli, Ranga Vemuri	A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems.	DATE	1999	DBLP DOI BibTeX RDF
9	Akihiro Suyama, Naoya Negishi, Takahira Yamaguchi	Design and Evaluation of an Environment to Automate the Construction of Inductive Applications.	Discovery Science	1999	DBLP DOI BibTeX RDF
9	Atsushi Ohori	A Curry-Howard Isomorphism for Compilation and Program Execution.	TLCA	1999	DBLP DOI BibTeX RDF
9	Bernhard Nebel	Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.	KI	1999	DBLP DOI BibTeX RDF
9	John Power, Hayo Thielecke	Closed Freyd- and kappa-categories.	ICALP	1999	DBLP DOI BibTeX RDF
9	Gerhard Goos, Wolf Zimmermann	Verification of Compilers.	Correct System Design	1999	DBLP DOI BibTeX RDF
9	Jacky Estublier, Mahfoud Amiour, Samir Dami	Building a federation of process support systems.	WACC	1999	DBLP DOI BibTeX RDF	architecture, interoperability, process, federation, process support system
9	Alan Mycroft	Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).	ESOP	1999	DBLP DOI BibTeX RDF
9	Rick Greer	Daytona And The Fourth-Generation Language Cymbal.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
9	Neng-Fa Zhou	Building Java Applets by Using DJ - A Java-based Constraint Language.	COMPSAC	1999	DBLP DOI BibTeX RDF	DJ, Java, Prolog, Layout, Constraint programming, Applet
9	Christopher League, Zhong Shao, Valery Trifonov	Representing Java Classes in a Typed Intermediate Language.	ICFP	1999	DBLP DOI BibTeX RDF
9	Munehiro Takimoto, Kenichi Harada	Partial Dead Code Elimination Using Extended Value Graph.	SAS	1999	DBLP DOI BibTeX RDF
9	Gary M. Zoppetti, Gagan Agrawal, Lori L. Pollock	Thresholding for Work Distribution of Recursive, Multithreaded Functions.	LCPC	1999	DBLP DOI BibTeX RDF
9	Steven Dawson, Sabrina De Capitani di Vimercati, Pierangela Samarati	Specification and Enforcement of Classification and Inference Constraints.	S&P	1999	DBLP DOI BibTeX RDF
9	Yuanfang Hu, Suqin Zhang, Weidu Jiang	Applying Object-Oriented Method to CSIE System.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	object-oriented, component, reuse, object, scheme
9	Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan	Strategies and Techniques of Freeze/Melt.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Freeze, Melt, Freeze-enclosure strategy, Semi-freeze strategy, Dynamic and static interaction technique
9	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
9	Gagan Agrawal	Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications
9	Keith D. Cooper, Philip J. Schielke	Non-local Instruction Scheduling with Limited Code Growth.	LCTES	1998	DBLP DOI BibTeX RDF
9	Luc Bougé, Philip J. Hatcher, Raymond Namyst, Christian Pérez	A Multithreaded Runtime Environment with Thread Migration for a HPF Data-Parallel Compiler.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Load Balancing, Compilation, Thread migration, Data-parallel languages
9	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
9	Wolfgang Goerigk, Ulrich Hoffmann 0002	Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.	FM-Trends	1998	DBLP DOI BibTeX RDF
9	Tracy Camp	Survey results from the incredible shrinking pipeline (abstract).	ACM Policy	1998	DBLP DOI BibTeX RDF
9	Tim Van Allen, James P. Delgrande, Arvind Gupta	Point-Based Approaches to Qualitative Temporal Reasoning.	PRICAI	1998	DBLP DOI BibTeX RDF
9	Sami Khuri, Yanti Sugono	Animating parsing algorithms.	SIGCSE	1998	DBLP DOI BibTeX RDF
9	Michael Karasick	The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	conpilation, incremental development environments, C++, C++, frameworks, programming environments, extensible systems, incremental compilation
9	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
9	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Static Partial Order Reduction.	TACAS	1998	DBLP DOI BibTeX RDF
9	Gagan Agrawal	I/O Granularity Transformations.	LCPC	1998	DBLP DOI BibTeX RDF
9	Alex Garthwaite, Scott Nettles	Transactions for Java.	ICCL	1998	DBLP DOI BibTeX RDF	Java, Garbage Collection, Transactions, Persistence
9	Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer	Concurrent SSA Form in the Presence of Mutual Exclusion.	ICPP	1998	DBLP DOI BibTeX RDF
9	Anouar Jamoussi	An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases.	HASE	1997	DBLP DOI BibTeX RDF
9	Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond	Naira: A Parallel² Haskell Compiler.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
9	Heinrich Müller, Michael Wehle	Visualization of Implicit Surfaces Using Adaptive Tetrahedrizations.	Scientific Visualization	1997	DBLP DOI BibTeX RDF
9	Siwei Luo, Anfeng Huang, Yaping Huang	Parallel Processing On Traditional Serial Programs By Huge NodeData Flow.	APDC	1997	DBLP DOI BibTeX RDF
9	David I. August, Wen-mei W. Hwu, Scott A. Mahlke	A Framework for Balancing Control Flow and Predication.	MICRO	1997	DBLP DOI BibTeX RDF	conditional instructions, if-conversion, predicated instructions, program control flow, schedule time, scheduling decisions, compiler, parallel architecture, instruction-level parallelism, optimising compilers, predicated execution
9	Vladimir Kotlyar, Keshav Pingali, Paul Stodghill	A Relational Approach to the Compilation of Sparse Matrix Programs.	Euro-Par	1997	DBLP DOI BibTeX RDF
9	Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa	An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus.	Euro-Par	1997	DBLP DOI BibTeX RDF
9	David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic	An ML-Like Module System for the Synchronous Language SIGNAL.	Euro-Par	1997	DBLP DOI BibTeX RDF
9	Hyun-Gyoo Yook, Mi-Soon Koo, Myong-Soon Park, TaeGuen Kim 0001	A Distribution Format for Communication-Free Reshape in Distributed Memory Computers.	ICPADS	1997	DBLP DOI BibTeX RDF
9	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part II): Modelling General N-ary, Logical CSPs.	ICTAI	1997	DBLP DOI BibTeX RDF	CSL algebra, constraint specification language, n-ary logical constraint satisfaction problem, executable data structures, binary CSP algorithms, design, compiler, implementation, constraint handling
9	Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee	Optimized software synthesis for synchronous dataflow.	ASAP	1997	DBLP DOI BibTeX RDF	optimized software synthesis, programmable digital signal processors, off-chip memory, real-time systems, digital signal processing, synchronous dataflow, graphical programs
9	G. N. Srinivasa Prasanna	Compilation of Parallel Multimedia Computations - Extending Retiming Theory and Amdahl's Law.	PPoPP	1997	DBLP DOI BibTeX RDF
9	Jaspal Subhlok, Bwolen Yang	A New Model for Integrated Nested Task and Data Parallel Programming.	PPoPP	1997	DBLP DOI BibTeX RDF	Concurrent C
9	Andrew D. Gordon 0001, Paul D. Hankin, Søren B. Lassen	Compilation and Equivalence of Imperative Objects.	FSTTCS	1997	DBLP DOI BibTeX RDF
9	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
9	Richard D. Ferrante, James R. Allard	Introducing a CPS Style Optimizer into an Existing Compiler.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
9	G. N. Srinivasa Prasanna, Bruce R. Musicus	Generalized Multiprocessor Scheduling and Applications to Matrix Computations.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	multiprocessor compilation, parallel processing, task scheduling, multiprocessor scheduling, distributed-memory multiprocessors, DAG scheduling, communication locality
9	Bart Selman, Henry A. Kautz	Knowledge Compilation and Theory Approximation.	J. ACM	1996	DBLP DOI BibTeX RDF	efficient reasoning methods, knowledge-base optimization, theory approximation, query evaluation, Horn clauses, knowledge compilation
9	Ramesh Karri, Karin Högstedt, Alex Orailoglu	Computer-Aided Design of Fault-Tolerant VLSI Systems.	IEEE Des. Test Comput.	1996	DBLP DOI BibTeX RDF	Fault-Tolerance, CAD, High Level Synthesis
9	Jonas Skeppstedt, Per Stenström	Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	performance evaluation, cache coherence, dataflow analysis
9	Wolfgang Banzhaf, Frank D. Francone, Peter Nordin	The Effect of Extensive Use of the Mutation Operator on Generalization in Genetic Programming Using Sparse Data Sets.	PPSN	1996	DBLP DOI BibTeX RDF