|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 948 occurrences of 418 keywords
|
|
|
Results
Found 950 publication records. Showing 950 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini |
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. |
Softw. Pract. Exp. |
2004 |
DBLP DOI BibTeX RDF |
|
32 | James Alexander George Hamilton, Sebastian Danicic |
An Evaluation of Current Java Bytecode Decompilers. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
java, bytecode, decompilation |
32 | Robert O'Callahn |
A Simple, Comprehensive Type System for Java Bytecode Subroutines. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode |
32 | Allen Goldberg |
A Specification of Java Loading and Bytecode Verification. |
CCS |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, formal specification, flow analysis, bytecode verification |
29 | Fei Yuan, Yue Chen, Husheng Liao |
XQC: A Compiler for XQuery. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Michael Batchelder, Laurie J. Hendren |
Obfuscating Java: The Most Pain for the Least Gain. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Nadia Belblidia, Mourad Debbabi |
Formalizing AspectJ Weaving for Static Pointcuts. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Young-Kook Kim, Sun-Moon Jo, Weon-Hee Yoo |
Design of Translator for Stack-Based Codes from 3-Address Codes in CTOC. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
Optimizer, Translator |
29 | Silvano Dal-Zilio, Régis Gascon |
Resource Bound Certification for a Tail-Recursive Virtual Machine. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Gilles Barthe, Mariela Pavlova, Gerardo Schneider |
Precise Analysis of Memory Consumption using Program Logics. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs |
An execution layer for aspect-oriented programming languages. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
virtual machine support, aspect-oriented programming |
29 | Mathew Zaleski, Marc Berndl, Angela Demke Brown |
Mixed mode execution with context threading. |
CASCON |
2005 |
DBLP BibTeX RDF |
|
29 | Chandra Krintz |
Improving mobile program performance through the use of a hybrid intermediate representation. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
29 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of the JavaCard Platform. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Do-Woo Kim, Min-Soo Jung |
A Study on the Optimization of Class File for Java Card Platform. |
ICOIN (1) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam, Juan Rubio 0001, Jyotsna Sabarinathan |
Java Runtime Systems: Characterization and Architectural Implications. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
CPU and cache architectures, Java, performance evaluation, benchmarking, ILP, Java bytecodes |
29 | Jan Hoogerbrugge, Lex Augusteijn |
Pipelined Java Virtual Machine Interpreters. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman |
LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
Java JIT compilation, register allocation |
26 | Patryk Czarnik, Aleksy Schubert |
Extending Operational Semantics of the Java Bytecode. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Dongxi Liu |
Bytecode Verification for Enhanced JVM Access Control. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gilles Barthe, David Pichardie, Tamara Rezk |
A Certified Lightweight Non-interference Java Bytecode Verifier. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gongzhu Hu, Avinashkumar Gadapa |
Compiling C++ Programs to Java Bytecode. |
SNPD |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Tao Wang, Abhik Roychoudhury |
Using Compressed Bytecode Traces for Slicing Java Programs. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
A Functional Scenario for Bytecode Verification of Resource Bounds. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi |
Manipulation of Java agent bytecode to add roles. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Chris Laffra, Martin Lippert |
Visualizing and AspectJ-enabling eclipse plugins using bytecode instrumentation. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
cross-plugin pointcuts, visualization, aspect-oriented programming, modularization, reflection, eclipse, AspectJ, introspection, plugins |
26 | Jeremy Singer |
Porting legacy interpretive bytecode to the CLR. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
26 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski |
Verified Bytecode Model Checkers. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Xavier Leroy |
On-Card Bytecode Verification for Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Keith Seymour, Jack J. Dongarra |
Automatic translation of Fortran to JVM bytecode. |
Java Grande |
2001 |
DBLP DOI BibTeX RDF |
Java, FORTRAN |
26 | Hidehiko Masuhara, Akinori Yonezawa |
Run-Time Bytecode Specialization. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Austin Kim, J. Morris Chang |
Java Bytecode Optimization with Advanced Instruction Folding Mechanism. |
ISHPC |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Frédéric Painchaud, Mourad Debbabi |
On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. |
WETICE |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Parametric inference of memory requirements for garbage collected languages. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages |
25 | Flavius Gruian, Mark Westmijze |
Investigating hardware micro-instruction folding in a Java embedded processor. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
BlueJEP, bytecode folding, embedded systems, Java processors, Bluespec |
25 | Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret |
Rapid development of extensible profilers for the Java virtual machine with aspect-oriented programming. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
java, concurrency, aspect-oriented programming, profiling, bytecode instrumentation, calling context tree |
25 | Walter Binder, Danilo Ansaloni, Alex Villazón, Philippe Moret |
Parallelizing calling context profiling in virtual machines on multicores. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
calling context profiling, Java, concurrency, aspect-oriented programming, multicores, Java virtual machine, bytecode instrumentation, calling context tree |
25 | Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni |
MAJOR: rapid tool development with aspect-oriented programming. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
rapid tool development, Java, testing, aspect-oriented programming, debugging, profiling, Java virtual machine, bytecode instrumentation |
25 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Live heap space analysis for languages with garbage collection. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, java bytecode, low-level languages |
25 | Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Feedback-directed barrier optimization in a strongly isolated STM. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap |
25 | Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret |
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming |
25 | Jarle Hulaas, Walter Binder |
Program transformations for light-weight CPU accounting and control in the Java virtual machine. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Program transformations, Resource management, Bytecode engineering |
25 | Sabine Glesner |
Finite Integer Computations: An Algebraic Foundation for Their Correctness. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL |
25 | Walter Binder |
Portable, efficient, and accurate sampling profiling for java-based middleware. |
SEM |
2005 |
DBLP DOI BibTeX RDF |
sampling profiling, Java, program transformations, JVM, bytecode instrumentation |
25 | Martin Keschenau |
Reverse engineering of UML specifications from java programs. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
java, UML, reverse engineering, class diagrams, bytecode |
25 | Walter Binder, Jarle Hulaas |
Extending Standard Java Runtime Systems for Resource Management. |
SEM |
2004 |
DBLP DOI BibTeX RDF |
Bytecode rewriting, JDK, Java, program transformations, resource management |
25 | Alex Iliasov |
Templates-based portable just-in-time compiler. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
code, templates, just-in-time compilation, inlining, dynamic code generation, bytecode interpretation |
25 | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
Extending Java for Package based Access Control. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation |
25 | Ian Piumarta, Fabio Riccardi |
Optimizing Direct-threaded Code by Selective Inlining. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation |
19 | Hyun Cho |
Using metaprogramming to implement a testing framework. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
transformation, metaprogramming, testing framework |
19 | Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum |
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization |
19 | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou 0002, Hilary Branske |
CMV: automatic verification of complete mediation for java virtual machines. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
complete mediation, runtime monitoring |
19 | Gregory B. Prokopski, Clark Verbrugge |
Analyzing the performance of code-copying virtual machines. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction |
19 | Walter Binder, Martin Schoeberl, Philippe Moret, Alex Villazón |
Cross-Profiling for Embedded Java Processors. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Anna Zaks, Rajeev Joshi |
Verifying Multi-threaded C Programs with SPIN. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Michael Kuperberg, Klaus Krogmann, Ralf H. Reussner |
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Michael Leuschel |
Towards Demonstrably Correct Compilation of Java Byte Code. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards execution time estimation in abstract machine-based languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation |
19 | Ryan M. Golbeck, Samuel Davis, Immad Naseer, Igor Ostrovsky, Gregor Kiczales |
Lightweight virtual machine support for AspectJ. |
AOSD |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, AspectJ |
19 | Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 |
Proof-Transforming Compilation of Eiffel Programs. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs |
19 | Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon |
Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation |
19 | José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega |
An Evolutionary Approach for Performing Structural Unit-Testing on Third-Party Object-Oriented Java Software. |
NICSO |
2007 |
DBLP DOI BibTeX RDF |
|
19 | ZhiLei Chai, Wenke Zhao, Wenbo Xu 0001 |
Real-time Java processor optimized for RTSJ. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Real-time Java platform, Real-time Java processor, Java Virtual Machine (JVM), Real-time specification for Java (RTSJ), Worst Case Execution Time (WCET) |
19 | Vincenzo Gervasi, Giacomo A. Galilei |
Software Manipulation with Annotations in Java. |
Lipari Summer School |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rasmus Johansen, Peter Sestoft, Stephan Spangenberg |
Zero-Overhead Composable Aspects for .NET. |
Lipari Summer School |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Paradinas, Julien Cordry, Samia Bouzefrane 0001 |
Performance Evaluation of Java Card Bytecodes. |
WISTP |
2007 |
DBLP DOI BibTeX RDF |
Performance, Benchmark, Java Card |
19 | Flavius Gruian, Mark Westmijze |
BlueJEP: a flexible and high-performance Java embedded processor. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, Java processor, Bluespec |
19 | Nghi Nguyen, Angel Dominguez, Rajeev Barua |
Scratch-pad memory allocation without compiler support for java applications. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad |
19 | Christoph Bockisch, Mira Mezini |
A flexible architecture for pointcut-advice language implementations. |
VMIL |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Daniel A. Sadilek |
Energy-aware compilation for wireless sensor networks. |
MidSens |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming |
19 | Simon Kågström, Håkan Grahn, Lars Lundberg |
Cibyl: an environment for language diversity on mobile devices. |
VEE |
2007 |
DBLP DOI BibTeX RDF |
programming environment, portability, J2ME, binary translation |
19 | Gerwin Klein, Tobias Nipkow |
A machine-checked model for a Java-like language, virtual machine, and compiler. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Java, theorem proving, operational semantics |
19 | Hiroshi Yamauchi, Jan Vitek |
Combining Offline and Online Optimizations: Register Allocation and Method Inlining. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Nicu G. Fruja |
Type Safety of Generics for the .NET Common Language Runtime. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hai-Chen Wang, Chung-Kwong Yuen |
Exploiting dataflow to extract Java instruction level parallelism on a tag-based multi-issue semi in-order (TMSI) processor. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Nadia Belblidia, Mourad Debbabi |
Towards a Formal Semantics for AspectJ Weaving. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hitoshi Oi |
Instruction folding in a hardware-translation based java virtual machine. |
Conf. Computing Frontiers |
2006 |
DBLP DOI BibTeX RDF |
hardware-translation, instruction folding, performance evaluation, java virtual machine |
19 | Walter Binder, Jarle Hulaas, Philippe Moret |
A Quantitative Evaluation of the Contribution of Native Code to Java Workloads. |
IISWC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Falcarin, Marco Torchiano |
Automated Reasoning on Aspects Interactions. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Barthe, Tamara Rezk, David A. Naumann |
Deriving an Information Flow Checker and Certifying Compiler for Java. |
S&P |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Pawel Garbacki, Bartosz Biskupski, Henri E. Bal |
Transparent Fault Tolerance for Grid Applications. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hitoshi Oi |
On the design of the local variable cache in a hardware translation-based java virtual machine. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
hardware-translation, memory hierarchy, java virtual machine |
19 | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula |
JVer: A Java Verifier. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
19 | José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Ertl |
Virtual machine showdown: stack versus registers. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
register architecture, stack architecture, virtual machine, interpreter |
19 | Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua |
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM |
19 | Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora |
JIST: Just-in-Time Scheduling Translation for Parallel Processors. |
ISPDC/HeteroPar |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Lu Yan, Zheng Liang |
Accelerating Java for Ubiquitous Devices. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Tobias Lindahl, Konstantinos Sagonas |
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
Compile-time program checking, software development, software tools, defect detection, software quality assurance |
19 | Emanuele Lattanzi, Aman Gayasen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Luca Benini, Alessandro Bogliolo |
Improving Java Performance Using Dynamic Method Migration on FPGAs. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Matteo Corti 0002, Thomas R. Gross |
Approximation of the worst-case execution time using structural analysis. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
worst-case execution time (WCET), structural analysis, real-time computing |
19 | Bahador Ghahramani, Mark A. Pauley |
Java in High-Performance Environments. |
Computer |
2003 |
DBLP DOI BibTeX RDF |
|
19 | D. Curran, Neil J. Hurley, Mel Ó Cinnéide |
Securing Java through software watermarking. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
Java protection, copyright infringement, software watermarking, spread spectrum watermarking |
19 | Eric Bodden |
A high-level view of Java applications. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
call graph visualization, Java, static analysis |
19 | Martin Hofmann 0001 |
Certification of Memory Usage. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Lin Lin, Linpeng Huang, Yongqiang Sun |
Optimizing Java Based Web Services by Partial Evaluation. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Barthe, Sorin Stratulat |
Validation of the JavaCard Platform with Implicit Induction Techniques. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
19 | C. John Glossner, Michael J. Schulte, Stamatis Vassiliadis |
A Java-Enabled DSP. |
Embedded Processor Design Challenges |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Martin Strecker |
Investigating Type-Certifying Compilation with Isabelle. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder |
Understanding the performance of the Java operating system JX using visualization techniques. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Java operating system, performance visualization techniques |
Displaying result #201 - #300 of 950 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|