|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4282 occurrences of 1824 keywords
|
|
|
Results
Found 6586 publication records. Showing 6586 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Jean Le Palmec |
Etude d'un langage intermédiaire pour la compilation d'Algol 60 -Application à un calculateur de type microprogrammé : CAE 510. (Study of an intermediate language for compilation of Algol 60 -Application to a calculator type CAE 510). |
|
1966 |
RDF |
|
22 | Georg Werner |
Etude de la syntaxe d' Algol - Application à la compilation. (Study of the syntax of Algol - Application to the compilation). |
|
1964 |
RDF |
|
22 | Jean-Loup Baer |
Etude critique et données de compilation du langage Cobol. (Study critical and compilation data of the language COBOL). |
|
1963 |
RDF |
|
18 | Manjiri A. Namjoshi, Prasad A. Kulkarni |
Novel online profiling for virtual machines. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
java, virtual machines, online profiling |
18 | Allison W. Lee, Mohamed Zaït, Thierry Cruanes, Rafi Ahmed, Yali Zhu |
Validating the Oracle SQL engine. |
DBTest |
2009 |
DBLP DOI BibTeX RDF |
execution plan, test, SQL, validation, query optimization, database systems, Oracle |
18 | José Luis Ayala, David Atienza, Philip Brisk |
Thermal-aware data flow analysis. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
compiler, thermal management |
18 | Vincenzo Catania, Maurizio Palesi, Davide Patti |
Reducing complexity of multiobjective design space exploration in VLIW-based embedded systems. |
ACM Trans. Archit. Code Optim. |
2008 |
DBLP DOI BibTeX RDF |
hyperblock formation, genetic algorithms, performances, statistical analysis, power, energy, design space exploration, multiobjective optimization, ILP, VLIW architectures |
18 | Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen |
CHR for Imperative Host Languages. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Juan Chen |
A typed intermediate language for compiling multiple inheritance. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
class and object encoding, multiple inheritance, typed intermediate language |
18 | Neil V. Murray, Erik Rosenthal |
Updating Reduced Implicate Tries. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon |
A Better Semantics for XQuery with Side-Effects. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ian Page |
Academia to IPO - A Modern Odyssey. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Lorenz Huelsbergen |
Fast evolution of custom machine representations. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jon Sneyers |
Analysis and Optimization of CHR Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
An Experimental Evaluation of Data Dependence Analysis Techniques. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization |
18 | David Lesaint, George Papamargaritis |
Aspects and Constraints for Implementing Configurable Product-Line Architectures. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yosi Ben-Asher, Daniel Citron, Gadi Haber |
Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Feihui Li, Mahmut T. Kandemir |
Improving Performance of Java Applications Using a Coprocessor. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Laurent Arditi, Gérard Berry, Michael Kishinevsky |
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Erik Johansson, Konstantinos Sagonas |
Linear Scan Register Allocation in a High-Performance Erlang Compiler. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Dana N. Xu, Siau-Cheng Khoo |
Compiling real time functional reactive programming. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
partial evaluation, reactive system, tupling |
18 | Kameswari V. Garigipati, Cindy Norris |
Evaluating the use of profiling by a region-based register allocator. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
region-based register allocation, profiling |
18 | Stephen M. Blackburn, Kathryn S. McKinley |
In or out?: putting write barriers in their place. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
copying collection, generational collection, Java, write barriers |
18 | Matthai Philipose, Craig Chambers, Susan J. Eggers |
Towards automatic construction of staged compilers. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
18 | João M. P. Cardoso, Markus Weinhardt |
XPP-VC: A C Compiler with Temporal Partitioning for the PACT-XPP Architecture. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve |
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Vitaly V. Mikheev, Nikita V. Lipsky, D. Gurchenkov, P. Pavlov, Vladimir V. Sukharev, A. Markov, Sergey V. Kuksenko, Stanislav A. Fedoseev, D. Leskov, A. Yeryomin |
Overview of excelsior JET, a high performance alternative to java virtual machines. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time optimizations, scalable run-time system, java, performance |
18 | Michael Ward, Neil C. Audsley |
Language Issues of Compiling Ada to Hardware. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grelck |
Optimizations on Array Skeletons in a Shared Memory Environment. |
IFL |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc |
Type-Safe Trading Proxies Using TORBA. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Egon Börger, Wolfram Schulte |
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines |
18 | Martin Hofmann 0001 |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Michael Voss, Rudolf Eigenmann |
ADAPT: Automated De-Coupled Adaptive Program Transformation. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers |
An evaluation of staged run-time optimizations in DyC (with retrospective) |
Best of PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers |
An Evaluation of Staged Run-Time Optimizations in DyC. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Rémi Douence, Pascal Fradet |
A Systematic Study of Functional Language Implementations. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
compilers, program transformation, functional programming, combinators, abstract machines |
18 | Matthew Flatt, Matthias Felleisen |
Units: Cool Modules for HOT Languages. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
ML, SCHEME |
18 | 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 |
|
18 | Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek |
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
C |
18 | T. Troy Pearse, Paul W. Oman |
Experiences Developing and Maintaining Software in a Multi-Platform Environment. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
multi-platform maintenance, multi-platform development, software measurement, software portability, software complexity |
18 | Simon L. Peyton Jones |
Compiling Haskell by Program Transformation: A Report from the Trenches. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Zhong Shao, Andrew W. Appel |
A Type-Based Compiler for Standard ML. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
18 | Ian T. Foster, Stephen Taylor |
A Compiler Approach to Scalable Concurrent-Program Design. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
program composition, monotonicity, programming abstractions, source-to-source transformations |
18 | Jeffrey Dean, Craig Chambers |
Towards Better Inlining Decisions Using Inlining Trials. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Self |
18 | Terry Gaasterland, Jorge Lobo 0001 |
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Meyer, Hans-Günther Hein, Jörg P. Müller |
FIDO: Finite Domain Consistency Techniques in Logic Programming. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Urs Hölzle, Craig Chambers, David M. Ungar |
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Maurício Breternitz Jr., John Paul Shen |
Architecture Synthesis of High-Performance Application-Specific Processors. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Cheong Youn, Lawrence J. Henschen, Jiawei Han 0001 |
Classification of Recursive Formulas in Deductive Databases. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Oded Shmueli, Shalom Tsur, Carlo Zaniolo |
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Kurt Keutzer, Wayne H. Wolf |
Anatomy of a Hardware Compiler. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Gary Lindstrom, Lal George, Dowming Yeh |
Generating Efficient Code from Strictness Annotations. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
18 | David B. Loveman |
Program Improvement by Source-to-Source Transformation. |
J. ACM |
1977 |
DBLP DOI BibTeX RDF |
Prolog |
17 | Yongjoo Kim, Jongeun Lee, Aviral Shrivastava, Yunheung Paek |
Operation and data mapping for CGRAs with multi-bank memory. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
bank conflict, multi-bank memory, compilation, arbiter, coarse-grained reconfigurable architecture |
17 | Christian Wimmer, Michael Franz |
Linear scan register allocation on SSA form. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form |
17 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
dependent types, certified compilation, singleton types |
17 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
17 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
17 | Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 |
CEAL: a C-based language for self-adjusting computation. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation |
17 | Fancong Zeng |
Pattern-driven deadlock avoidance. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
Java, deadlock, exception, just-in-time (JIT) compilation |
17 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
17 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris |
Speculative improvements to verifiable bounds check elimination. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation |
17 | Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim |
Enhanced hot spot detection heuristics for embedded java just-in-time compilers. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
hot spot detection, j2me cdc, java just-in-time compilation, sun's hotspot heuristic, java virtual machine |
17 | Sanjay V. Rajopadhye, Gautam Gupta, Lakshminarayanan Renganarayanan |
A domain specific interconnect for reconfigurable computing. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
coarse grain reconfiguration, fpga, silicon compilation |
17 | Wen Fu, Rongcai Zhao, Jianmin Pang, Jingbo Zhang |
Recovering Variable-Argument Functions from Binary Executables. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
variable-argument function, reverse compilation, calling convention, instruction pattern, IA-64 |
17 | Christian Wimmer, Hanspeter Mössenböck |
Automatic array inlining in java virtual machines. |
CGO |
2008 |
DBLP DOI BibTeX RDF |
array inlining, object inlining, java, optimization, performance, garbage collection, just-in-time compilation |
17 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. |
VEE |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
17 | Andrew Kennedy |
Compiling with continuations, continued. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
continuations, monads, optimizing compilation, continuation passing style, functional programming languages |
17 | Greg Stitt, Frank Vahid |
Thread warping: a framework for dynamic synthesis of thread accelerators. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
dynamic synthesis, thread warping, warp processing, FPGA, synthesis, multi-core, threads, just-in-time compilation |
17 | Nieraj Singh, Celina Gibbs, Yvonne Coady |
C-CLR: a tool for navigating highly configurable system software. |
ACP4IS |
2007 |
DBLP DOI BibTeX RDF |
preprocessor directives, aspect-oriented programming, modularization, tools, structured programming, system configuration, conditional compilation |
17 | Christian Wimmer, Hanspeter Mössenböck |
Automatic feedback-directed object inlining in the java hotspotTM virtual machine. |
VEE |
2007 |
DBLP DOI BibTeX RDF |
object colocation, object inlining, java, optimization, performance, cache, garbage collection, just-in-time compilation |
17 | Kyungwoo Lee, Xing Fang, Samuel P. Midkiff |
Practical escape analyses: how good are they? |
VEE |
2007 |
DBLP DOI BibTeX RDF |
analysis precision, Java, dynamic compilation, escape analysis |
17 | Qiang Wu, Margaret Martonosi, Douglas W. Clark, Vijay Janapa Reddi, Dan Connors, Youfeng Wu, Jin Lee, David M. Brooks |
Dynamic-Compiler-Driven Control for Microprocessor Energy and Performance. |
IEEE Micro |
2006 |
DBLP DOI BibTeX RDF |
microprocessor, energy savings, Dynamic-compilation |
17 | Prasad A. Kulkarni, Wankang Zhao, Stephen Hines, David B. Whalley, Xin Yuan 0001, Robert van Engelen, Kyle A. Gallivan, Jason Hiser, Jack W. Davidson, Baosheng Cai, Mark W. Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek |
VISTA: VPO interactive system for tuning applications. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
User-directed code improvement, interactive compilation, genetic algorithms, phase ordering |
17 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
17 | Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers |
MultiJava: Design rationale, compiler implementation, and applications. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem |
17 | Ben L. Titzer |
Virgil: objects on the head of a pin. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination |
17 | Margaret Gaitatzes Kostoulas, Morris Matsa, Noah Mendelsohn, Eric Perkins, Abraham Heifets, Martha Mercaldi |
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
JAX-RPC, schema compilation, XML, performance, validation, parsing, XML schema, SAX |
17 | Gabriel Dos Reis, Bjarne Stroustrup |
Specifying C++ concepts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
C++ concepts, type systems, generic programming, separate compilation, C++ templates |
17 | Yudith Cardinale, Eduardo Blanco 0001, Jesús De Oliveira |
JaDiMa: Java Applications Distributed Management on Grid Platforms. |
HPCC |
2006 |
DBLP DOI BibTeX RDF |
High Performance Java Applications, Grid Platforms, Distributed Library Management, Compilation and Execution, Collaborative Environments |
17 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
17 | David Tarditi, Sidd Puri, Jose Oglesby |
Accelerator: using data parallelism to program GPUs for general-purpose uses. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
graphics processing units, data parallelism, just-in time compilation |
17 | Jason Cong, Yiping Fan, Guoling Han, Ashok Jagannathan, Glenn Reinman, Zhiru Zhang |
Instruction set extension with shadow registers for configurable processors. |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
shadow register, compilation, ASIP, configurable processor |
17 | Mourad Debbabi, Azzam Mourad, Nadia Tawbi |
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, Java, embedded systems, ARM, KVM |
17 | Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood |
Pin: building customized program analysis tools with dynamic instrumentation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
program analysis tools, instrumentation, dynamic compilation |
17 | Grégoire Hamon |
A denotational semantics for stateflow. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
17 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
17 | Levon Stepanian, Angela Demke Brown, Allan Kielstra, Gita Koblents, Kevin Stoodley |
Inlining java native calls at runtime. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
native code, Java, JIT compilation, inlining, JNI |
17 | Christian Wimmer, Hanspeter Mössenböck |
Optimized interval splitting in a linear scan register allocator. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
linear scan, java, optimization, compilers, graph-coloring, register allocation, just-in-time compilation |
17 | Steven Carroll, Constantine D. Polychronopoulos |
A Framework for Incremental Extensible Compiler Construction. |
Int. J. Parallel Program. |
2004 |
DBLP DOI BibTeX RDF |
Compiler construction, incremental compilation |
17 | 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 |
17 | Sathyanarayanan Thammanur, Santosh Pande |
A fast, memory-efficient register allocation framework for embedded systems. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, compilers, Code generation, compiler optimizations, register allocation, dynamic compilation |
17 | Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua |
A dynamic compiler for embedded Java virtual machines. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, Java, performance, embedded systems, virtual machine, acceleration, KVM |
17 | David Saff, Michael D. Ernst |
An experimental evaluation of continuous testing during development. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
continuous compilation, continuous testing, test-first development, unit testing |
17 | Michel Ferreira, Luís Damas |
WAM Local Analysis. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Multiple Specialization, Abstract Interpretation |
17 | Sagnik Nandy, Xiaofeng Gao 0003, Jeanne Ferrante |
TFP: Time-Sensitive, Flow-Specific Profiling at Runtime. |
LCPC |
2003 |
DBLP DOI BibTeX RDF |
run-time optimization, Profiling, dynamic compilation |
17 | Xavier Rival |
Abstract Interpretation-Based Certification of Assembly Code. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
compilation, Abstract Interpretation, Static program analysis |
17 | Enis Avdicausevic, Marjan Mernik, Mitja Lenic, Viljem Zumer |
Experimental aspect-oriented language - AspectCOOL. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, programming languages, separate compilation |
17 | 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 |
17 | Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky |
Effective Enhancement of Loop Versioning in Java. |
CC |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time compilation, Java, performance, loop optimizations |
Displaying result #501 - #600 of 6586 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|