|
|
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 |
10 | Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa |
Random Program Generator for Java JIT Compiler Test System. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kazutaka Maruyama, Minoru Terada |
Debugging with Reverse Watchpoint. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Algis Rudys, Dan S. Wallach |
Termination in language-based systems. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
soft termination, Java, Internet, termination, Applets, resource control |
10 | Jeffery von Ronne, Andreas Hartmann 0001, Wolfram Amme, Michael Franz |
Efficient online optimization by utilizing offline analysis and the safeTSA representation. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java, World Wide Web (WWW) |
10 | Tobias Lindahl, Konstantinos Sagonas |
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison |
Using MPI with C# and the common language infrastructure. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET |
10 | Tao Li 0006, Ravi Bhargava, Lizy Kurian John |
Rehashable BTB: An Adaptive Branch Target Buffer to Improve the Target Predictability of Java Code. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Alex Groce, Willem Visser |
Heuristic Model Checking for Java Programs. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Feng Qian, Laurie J. Hendren, Clark Verbrugge |
A Comprehensive Approach to Array Bounds Check Elimination for Java. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Reinhard Klemm, Navjot Singh 0001 |
Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Java, Policies, Availability, Recovery, Server, Logging, Failure Detection, Object Persistence |
10 | Todd Smith, Suresh Srinivas, Philipp Tomsich, Jinpyo Park |
Experiences with Retargeting the Java Hotspot(tm) Virtual Machine. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Chia-Tien Dan Lo, Witawas Srisa-an, J. Morris Chang |
A Multithreaded Concurrent Garbage Collector Parallelizing the New Instruction in Java. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
parallel garbage collector, object-oriented programming, Java Virtual Machine, multithreaded programming, dynamic memory management, concurrent garbage collection |
10 | David J. Barnes |
Teaching introductory Java through LEGO MINDSTORMS models. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi |
Secure Self-certified Code for Java. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Martin Strecker |
Formal Verification of a Java Compiler in Isabelle. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Bertrand Delsart, Vania Joloboff, Eric Paire |
JCOD: A Lightweight Modular Compilation Technology for Embedded Java. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
10 | Alex Groce, Willem Visser |
Model checking Java programs using structural heuristics. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
model checking, testing, heuristics, coverage metrics |
10 | 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 |
10 | Dexter Kozen, Matthew Stillerman |
Eager Class Initialization for Java. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa |
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Marc Éluard, Thomas P. Jensen, Ewen Denney |
An Operational Semantics of the Java Card Firewall. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge |
A Framework for Optimizing Java Using Attributes. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Yudith Cardinale, Emilio Hernández |
Checkpointing Facility on a Metasystem. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Figueira, Emilio Hernández |
Profiling Facility on a Metasystem. |
HPCN |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold |
An Overview of AspectJ. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Keum-Young Sung |
Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java. |
ICN (1) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Enriquillo Valdez, Moti Yung |
DISSECT: DIStribution for SECurity Tool. |
ISC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ewen Denney |
The Synthesis of a Java Card Tokenization Algorithm. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Marco Avvenuti, Alessio Vecchio |
Embedding Remote Object Mobility in Java RMI . |
FTDCS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Dan S. Wallach, Andrew W. Appel, Edward W. Felten |
SAFKASI: a security mechanism for language-based systems. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
security-passing style, Java, Internet, WWW, access control, applets, stack inspection |
10 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
10 | Sophia Drossopoulou |
An Abstract Model of Java Dynamic Linking and Loading. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jan-Willem Maessen, Arvind, Xiaowei Shen |
Improving the Java memory model using CRF. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
commit/reconcile/fence, Java, Java, compilation, memory models |
10 | Zhenyu Qian, Allen Goldberg, Alessandro Coglio |
A formal specification of JavaTM class loading. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
10 | Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam 0001, Etienne Gagnon, Charles Godin |
Practical virtual method call resolution for Java. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
10 | Ewen Denney |
A Prototype Proof Translator from HOL to Coq. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst |
Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park |
Model Checking Programs. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | K. C. Kim, Sang Bong Yoo, K. W. Ko, Sang Kyun Cha |
Active System for Heterogeneous ODBMS Using Mobile Rule Codes. |
ADBIS-DASFAA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Patrik Persson, Görel Hedin |
An Interactive Environment for Real-Time Software Development. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Object-Oriented Languages, Real-Time Java, Software Development Environments, Worst-Case Execution Time Analysis |
10 | Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge |
A framework for optimizing Java using attributes. |
CASCON |
2000 |
DBLP BibTeX RDF |
Java |
10 | 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 |
|
10 | Dexter Kozen |
Language-Based Security. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Kazuhiko Kato, Katsuya Matsubara, Yuuichi Someya, Kazumasa Itabashi, Yutaka Moriyama |
PLANET: An Open Mobile Object System for Open Network. |
ASA/MA |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Martín Abadi |
Protection in Programming-Language Translations. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Nick Benton, Andrew Kennedy, George Russell |
Compiling Standard ML to Java Bytecodes. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language, Java |
10 | Philip W. L. Fong, Robert D. Cameron |
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
Java |
10 | Mark MacBeth, Keith McGuigan, Philip J. Hatcher |
Executing Java threads in parallel in a distributed-memory environment. |
CASCON |
1998 |
DBLP BibTeX RDF |
Java, C |
10 | Lee-Ren Ton, Lung-Chung Chang, Min-Fu Kao, Han-Min Tseng, Shi-Sheng Shang, Ruey-Liang Ma, Dze-Chaung Wang, Chung-Ping Chung |
Instruction Folding in Java Processor. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #950 of 950 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10] |
|