The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Compiling with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1966 (16) 1967-1972 (15) 1973-1978 (21) 1979-1981 (16) 1982-1984 (23) 1985-1986 (29) 1987 (24) 1988 (29) 1989 (17) 1990 (27) 1991 (35) 1992 (33) 1993 (42) 1994 (40) 1995 (45) 1996 (45) 1997 (48) 1998 (41) 1999 (45) 2000 (52) 2001 (49) 2002 (63) 2003 (50) 2004 (60) 2005 (69) 2006 (87) 2007 (78) 2008 (69) 2009 (48) 2010 (34) 2011 (32) 2012 (37) 2013 (39) 2014 (29) 2015 (28) 2016 (25) 2017 (30) 2018 (34) 2019 (36) 2020 (44) 2021 (40) 2022 (46) 2023 (36) 2024 (4)
Publication types (Num. hits)
article(451) book(8) data(2) incollection(9) inproceedings(1204) phdthesis(35) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1050 occurrences of 701 keywords

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