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 |
|