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