|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14815 occurrences of 4078 keywords
|
|
|
Results
Found 16310 publication records. Showing 16304 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
44 | Reinhard Klemm |
Practical Guidelines for Boosting Java Server Performance. |
Java Grande |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Matthew Izatt, Patrick Chan, Tim Brecht |
Ajents: Towards an Environment for Parallel, Distributed and Mobile Java Applications. |
Java Grande |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Maurice Herlihy, Michael P. Warres |
A Tale of Two Directories: Implementing Distributed Shared Objects in Java. |
Java Grande |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
43 | Maurizio Cimadamore, Mirko Viroli |
A Prolog-oriented extension of Java programming based on generics and annotations. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java, Prolog, multiparadigm, Java generics |
43 | Sascha Uhrig, Jörg Wiese |
jamuth: an IP processor core for embedded Java real-time systems. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java execution environment, embedded system-on-a-chip implementation, virtual machine, real-time embedded system, multithreaded processor, Java processor, embedded operating system |
43 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
43 | Michael H. Dawson |
Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Java, Real-time, Implementation |
43 | Gautier Loyauté, Rémi Forax, Gilles Roussel 0001 |
A Java toolkit for the design and the automatic checking of server architectures. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java toolkit, software engineering, formal model, automatic generation, internet server |
43 | Lingli Zhang, Chandra Krintz, Priya Nagpurkar |
Supporting exception handling for futures in Java. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, exception handling, future |
43 | Kelvin Nilsen |
Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, RTSJ, DO-178B |
43 | Sven Gestegard Robertz, Roger Henriksson, Klas Nilsson, Anders Blomdell, Ivan Tarasov |
Using real-time Java for industrial robot control. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, real-time, garbage collection, motion control, industrial robot |
43 | Tomas Hruz, Matthias Hirsch-Hoffmann, Wilhelm Gruissem, Philip Zimmermann |
Reducing Java internet project risks: a case study of public measurement of client component functionality in the user community. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
Java |
43 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin |
43 | Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin |
Core-java: an expression-oriented java. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
type-based analysis, language design |
43 | Mayumi Kato, Chia-Tien Dan Lo |
A heap de/compression module for wireless Java. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi |
Flow Java: Declarative Concurrency for Java. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Rob van Nieuwpoort, Jason Maassen, Rutger F. H. Hofman, Thilo Kielmann, Henri E. Bal |
Ibis: an efficient Java-based grid programming environment. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Java, performance, grid computing, portability |
43 | Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur |
Multithreaded Java program test generation. |
Java Grande |
2001 |
DBLP DOI BibTeX RDF |
Java |
43 | Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedjang, Henri E. Bal |
Runtime optimizations for a Java DSM implementation. |
Java Grande |
2001 |
DBLP DOI BibTeX RDF |
Java |
43 | Dan Bonachea |
Bulk file I/O extensions to Java. |
Java Grande |
2000 |
DBLP DOI BibTeX RDF |
bulk, Java, asynchronous, I/O |
43 | Takashi Suezawa |
Persistent execution state of a Java virtual machine. |
Java Grande |
2000 |
DBLP DOI BibTeX RDF |
execution state, Java, checkpointing, JVM, recovery, persistence |
43 | Florian Forster |
Cost and benefit of rigorous decoupling with context-specific interfaces. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization |
43 | Austin Kim, J. Morris Chang |
Advanced POC Model-Based Java Instruction Folding Mechanism. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language |
42 | Hua Han, Yafei Dai, Xiaoming Li |
CSFS: a Java enabled network file storage system. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
network file storage, distributed file system, name space |
42 | Rüdiger Weis, Bastiaan Bakker, Stefan Lucks |
Security on Your Hand: Secure Filesystems with a "Non-Cryptographic" JAVA-Ring. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
i-Button, Remotely Keyed Encryption, tamper proof |
42 | Zhenyu Qian |
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Pieter H. Hartel, Michael J. Butler, Moshe Levy |
The Operational Semantics of a Java Secure Processor. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Yiyu Tan, Anthony S. Fong, Xiaojian Yang |
An Instruction Folding Solution to a Java Processor. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
Instruction folding, Java virtual machine, Bytecode, Java processor |
42 | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
Converting java programs to use generic libraries. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types |
42 | Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko |
Tuning garbage collection for reducing memory system energy in an embedded java environment. |
ACM Trans. Embed. Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
K Virtual Machine (KVM), Java, Java Virtual Machine (JVM), Garbage collector, low power computing |
42 | L. A. Smith, J. Mark Bull, Jan Obdrzálek |
A parallel java grande benchmark suite. |
SC |
2001 |
DBLP DOI BibTeX RDF |
java, Java, parallel, benchmarking, message passing, threads |
42 | 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 |
42 | 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 |
42 | Marc L. Corliss, E. Christopher Lewis |
Bantam: a customizable, java-based, classroom compiler. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
bantam java |
42 | Jeremy Manson, William W. Pugh, Sarita V. Adve |
The Java memory model. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
Java, concurrency, multithreading, memory model |
42 | Anders Nilsson 0003, Torbjörn Ekman 0001, Klas Nilsson |
Real Java for real time - gain and pain. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
rtj, embedded systems, real-time Java |
42 | Ricky K. K. Ma, Cho-Li Wang, Francis C. M. Lau 0001 |
M-JavaMPI: A Java-MPI Binding with Process Migration Support. |
CCGRID |
2002 |
DBLP DOI BibTeX RDF |
JVMDI, M-JavaMPI, Java, load balancing, parallel computing, MPI, message passing, cluster computing, process migration |
42 | Raúl Rojas 0001, Lars Knipping, Ulrich Raffel, Gerald Friedland |
Elektronische Kreide: Eine Java-Multimedia-Tafel fuer den Präsenz- und Fernunterricht. |
Inform. Forsch. Entwickl. |
2001 |
DBLP DOI BibTeX RDF |
Präsenzunterricht, Fernunterricht, rechnerunterstützte Lehre, Handschrifterkennung, Java, Internet, World Wide Web, Multimedia, Streaming, Synchronisation, Whiteboard |
42 | Stephen N. Freund, John C. Mitchell |
A Type System for Object Initialization in the Java Bytecode Language. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
42 | Ciji Isen, Lizy Kurian John, Jung Pil Choi, Hyo Jung Song |
On the representativeness of embedded Java benchmarks. |
IISWC |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Kenji Watanabe, Wanming Chu, Yamin Li |
Exploiting Java Instruction/Thread Level Parallelism with Horizontal Multithreading. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Jeffrey Raymond Horowitz |
Bringing Java to TMN. |
NOMS |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Giuseppe Milicia, Vladimiro Sassone |
Jeeg: a programming language for concurrent objects synchronization. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Java, temporal logic, inheritance anomaly |
41 | Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001 |
MyJVM: a 100% pure Java customizable Java Virtual Machine. |
PPPJ |
2003 |
DBLP BibTeX RDF |
|
41 | Pieter H. Hartel, Luc Moreau 0001 |
Formalizing the safety of Java, the Java virtual machine, and Java card. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
programming, Common criteria |
40 | Philippe Moret, Walter Binder, Martin Schoeberl, Alex Villazón, Danilo Ansaloni |
Analyzing performance and dynamic behavior of embedded Java software with calling-context cross-profiling. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
calling-context cross-profiling, visualization of calling-context profiles, Java, Java processors |
40 | Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen |
Model-based schedulability analysis of safety critical hard real-time Java programs. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |
40 | Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky |
Java-MaC: A Run-Time Assurance Approach for Java Programs. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
40 | Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz |
SlimVM: a small footprint Java virtual machine for connected embedded systems. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
connected embedded systems, optimization, Java virtual machine, just-in-time compilation, code-size reduction |
40 | Lorenzo Bettini, Viviana Bono, Marco Naddeo |
A trait based re-engineering technique for Java hierarchies. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
Java, formal concept analysis, re-engineering, code reuse, trait |
40 | M. Teresa Higuera-Toledano |
Making stronger and flexible the single parent rule in the real-time specification of Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers |
40 | Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Mitsuhiro Asada |
Searching the library and asking the peers: learning to use Java APIs on demand. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java API, software reuse, expertise location, peer support |
40 | Delvin C. Defoe, Rob LeGrand, Ron K. Cytron |
On the connection between functional programming languages and real-time Java scoped memory. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
scoped memory, real-time, performance analysis, data structures, programming languages, functional programming, memory, memory management, real-time Java |
40 | Stephan Korsholm, Philippe Jean |
The Java legacy interface. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java/C integration, multilanguage interoperability, scheduling, embedded systems, real-time, encapsulation, legacy code |
40 | Matthias Pfeffer, Sascha Uhrig, Theo Ungerer, Uwe Brinkschulte |
A Real-Time Java System on a Multithreaded Java Microcontroller. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
real-time kernel and operating system, embedded systems, multithreading, real-time scheduling, real-time Java |
40 | Eamonn Hyland, Gary Clynch |
Initial experiences gained and initiatives employed in the teaching of Java programming in the Institute of Technology Tallaght. |
PPPJ/IRE |
2002 |
DBLP BibTeX RDF |
Java |
40 | T. John Brown, Ivor T. A. Spence, Peter Kilpatrick |
Mixin programming in Java with reflection and dynamic invocation. |
PPPJ/IRE |
2002 |
DBLP BibTeX RDF |
dynamic invocation, role base programming, Java, C++, reflection, mixin |
40 | Eric E. Allen, Robert Cartwright |
The case for run-time types in generic Java. |
PPPJ/IRE |
2002 |
DBLP BibTeX RDF |
Java |
40 | Neng-Fa Zhou |
Building Java Applets by Using DJ - A Java-based Constraint Language. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
DJ, Java, Prolog, Layout, Constraint programming, Applet |
40 | Martin Plümicke |
Intersection types in Java. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
program design and implementation, code generation, type system, type inference, language design |
40 | Jianna J. Zhang, Huy Nguyen |
An example oriented on-line Java tutorial for university students. |
PPPJ |
2004 |
DBLP BibTeX RDF |
|
40 | Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic |
Hard Real-Time Implementation of Embedded Software in JAVA. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Jun-Young Jung, Min-Soo Jung |
Design and Implementation of Small-Sized Java Virtual Machine on Java Platform Jini. |
ICOIN (1) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Catalin Amza, Gianna Reggio |
A Notation for Component-Based Design of Java Applications. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Laurent Baduel, Françoise Baude, Denis Caromel |
Efficient, flexible, and typed group communications in Java. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
hierarchical and dynamic groups, group communications, active objects |
39 | Bernhard Beckert |
A Dynamic Logic for the Formal Verification of Java Card Programs. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Don Syme |
Proving Java Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing |
An Event-Based Structural Operational Semantics of Multi-Threaded Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Jim Alves-Foss, Fong Shing Lam |
Dynamic Denotational Semantics of Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Chris Carter 0001, Abdennour El Rhalibi, Madjid Merabti, Marc Price |
Networking Middleware and Online-Deployment Mechanisms for Java-Based Games. |
Trans. Edutainment |
2009 |
DBLP DOI BibTeX RDF |
Homura, NetHomura, Java Monkey Engine, jME, Java Web Start, P2P Games, Java, Distributed Systems, Peer to Peer Networking, Deployment, Web Technologies, JXTA |
39 | Jens Müller, Wilhelm G. Spruth |
Anwendungs- und Transaktionsisolation unter Java. |
Inform. Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
ACID, Application Isolation API, JSR-121, Multi-Tasking Virtual Machine, Persistent Reusable Java Virtual Machine, Virtual Machine Container, Transaction, Java Virtual Machine, J2EE, Isolation, Enterprise JavaBeans, Java EE |
39 | Sotiris Skevoulis, Xiaoping Jia |
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs |
39 | Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman |
A Flexible Access Control Service for Java Mobile Code. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
flexible access control service, Java mobile code, remote servers, distributed heterogeneous clients, foreign code execution, host node protection, code protection, sandbox model, downloaded code, source location, inter-organisational environments, expressive languages, Ponder, Java security architecture, Java, Internet, specification languages, security policies, signature, distributed programming, Internet applications, authorisation, declarative language, technology diffusion, dynamic loading |
39 | Stefano Campadello, Oskari Koskimies, Kimmo E. E. Raatikainen, Heikki Helin |
Wireless Java RMI. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
wireless Java RMI, protocol overhead, round-trips, slow wireless links, Java RMI specification, network hosts, mediator technology, Java, data traffic |
39 | Stefan Covaci, Tianning Zhang, Ingo Busse |
Java-Based Intelligent Mobil Agents for Open System Management. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
Java based intelligent mobile agents, open system management, telecommunications environments, Java based mobile agent platform, mobile management agents, mobility framework, intelligence platform, management solution knowledge, Java based rules, specialization/generalization relationships, intelligence paradigm, knowledge processing mechanism, widely distributed telecommunications environment, network management solutions, specification, service management, computer network management, object oriented development |
39 | Olli Vertanen |
Java Type Confusion and Fault Attacks. |
FDTC |
2006 |
DBLP DOI BibTeX RDF |
type confusion, Java, embedded systems, fault attacks, Java Card |
39 | Néstor Cataño, Marieke Huisman |
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. |
FME |
2002 |
DBLP DOI BibTeX RDF |
ESC/Java, Java, specification, smart cards, static checking |
39 | Sanjay P. Ahuja, Renato Quintao |
Performance Evaluation of Java RMI: A Distributed Object Architecture for Internet Based Applications. |
MASCOTS |
2000 |
DBLP DOI BibTeX RDF |
Java Sockets, performance evaluation, Internet, WWW, Java RMI |
39 | Joachim Posegga |
Die Sicherheitsaspekte von Java. |
Inform. Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Java Sicherheit, downloadable code, Java |
39 | Said Hadjerrouit |
A constructivist framework for integrating the Java paradigm into the undergraduate curriculum. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
Java paradigm, Java, constructivism, undergraduate curriculum |
39 | Rachid Helaihel, Kunle Olukotun |
Java as a specification language for hardware-software systems. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
java, Java, specification languages, hardware-software co-design |
39 | Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera |
Analysis and reduction of memory inefficiencies in Java strings. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
footprint analysis and reduction, java, garbage collection, memory management, string |
39 | 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 |
39 | Gang Tan, Greg Morrisett |
Ilea: inter-language analysis across java and c. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
JVML, inter-language analysis, specification extraction, JNI, java native interface |
39 | Youngsun Han, Seon Kim, Chulwoo Kim |
Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
Java, FPGA, compiler, Reconfigurable computing, Verilog |
39 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
39 | Abhik Roychoudhury, Tulika Mitra |
Specifying multithreaded Java semantics for program verification. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
Java, JavaScript |
39 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Using Staged Encapsulation. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
Java Decompile Soot Dava Staged Encapsulation Sable |
39 | Egon Börger, Wolfram Schulte |
Initialization problems for Java. |
Softw. Concepts Tools |
2000 |
DBLP DOI BibTeX RDF |
Java, Compiler, Virtual machine, Programming language |
39 | Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi |
Deterministic Replay of Distributed Java Applications. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
Java tools, network, debugging, distributed, threads, deterministic replay |
39 | Sara Bouchenak, Daniel Hagimont |
Pickling Threads State in the Java System. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
Java, thread migration |
39 | 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 |
39 | Zhiyi Huang 0001, Stephen Cranefield, K. M. V. Chee, Martin K. Purvis |
A Java Networking API for ATM Networks. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Java, network, Asynchronous Transfer Mode (ATM), Application Programming Interface (API), socket |
39 | Sara Porat, Bilha Mendelson, Irina Shapira |
Sharpening global static analysis to cope with Java. |
CASCON |
1998 |
DBLP BibTeX RDF |
Java |
38 | Daniel Smith 0003, Robert Cartwright |
Java type inference is broken: can we fix it? |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types |
38 | Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio |
Implementing Java modeling language contracts with AspectJ. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language |
38 | Ying Jin 0002 |
Formal Verification of Protocol Properties of Sequential Java Programs. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yangsun Lee 0002, Seungwon Na |
Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan |
A More Expressive Monitor for Concurrent Java Programming. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 16304 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|