|
|
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 |
32 | Ting-Wei Hou, Fuh-Gwo Chen, J. L. Lee, Y. L. Cheng |
Distributed and Parallel Execution of Java Programs on a DSM System. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
DSM system and byte-code, Java Virtual Machine |
32 | M. Teresa Higuera-Toledano, Valérie Issarny |
Java Embedded Real-Time Systems: An Overview of Existing Solutions. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
Scheduling, Java, Real-Time, Embedded, Garbage Collection |
32 | Iffat H. Kazi, David J. Lilja |
JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
run-time dependence checking, shared-memory multprocessors, Java, multithreading, speculative execution, Parallelization model |
32 | 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 |
32 | Chandra Krintz, Brad Calder, Urs Hölzle |
Reducing Transfer Delay Using Java Class File Splitting and Prefetching. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java |
32 | Jianjun Zhao 0001 |
Slicing Concurrent Java Programs. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
program comprehesion, Java, Concurrency, program slicing, dependence analysis |
32 | Jean-François Patenaude, Ettore Merlo, Michel R. Dagenais, Bruno Laguë |
Extending Software Quality Assessment Techniques to Java Systems. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
Java systems, Quality assessment, Clone detection, Software evaluation |
32 | Raimund K. Ege |
Storing Java Objects in Any Database. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
Java, database, object orientation, reflection, persistence |
32 | Hongwei Xi, Songtao Xia |
Towards array bound check elimination in Java TM virtual machine language. |
CASCON |
1999 |
DBLP BibTeX RDF |
Java |
32 | Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela |
Modular Heterogeneous System Development: A Critical Analysis of Java. |
Heterogeneous Computing Workshop |
1998 |
DBLP DOI BibTeX RDF |
Java, Distributed Systems, Actors, Corba |
32 | Eric Roberts, Antoine Picard |
Designing a Java graphics library for CS 1. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
Java |
32 | Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth |
Fast, Effective Code Generation in a Just-In-Time Java Compiler. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
Java |
32 | Alex Garthwaite, Scott Nettles |
Transactions for Java. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Java, Garbage Collection, Transactions, Persistence |
32 | Qiaoyun Li |
Java Virtual Machine - Present and Near Future. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
Metaspace, Java, Virtual machine, Bytecode |
32 | Michael Goedicke |
Java in der Programmierausbildung: Konzepte und erste Erfahrungen. |
Inform. Spektrum |
1997 |
DBLP DOI BibTeX RDF |
Informatik-Curriculum, Sprachvergleich, Java, Objektorientierung |
32 | Charles Lakos, Glenn Lewis |
Animating Formal Specifications Using Java Applets. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
formal specifications, animation, Java applets, Object Petri Nets |
32 | Hussein M. Abdel-Wahab, Bjorn Kvande, Okhee Kim, Jean Philippe Favreau |
An Internet Collaborative Environment for Sharing Java Applications. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
Multimedia Desktop Conferencing, Java, Distributed Systems, Computer Supported Cooperative Work, Multicasting, Internetworking |
32 | Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, Wen-mei W. Hwu |
Java Bytecode to Native Code Translation: The Caffeine Prototype and Preliminary Results. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
Java |
32 | Pradeep Rao, Kazuaki J. Murakami |
Empirical Performance Models for Java Workloads. |
ARCS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Arend Rensink, Eduardo Zambon |
A Type Graph Model for Java Programs. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn |
Hardware Objects for Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati |
A type system for preventing data races and deadlocks in the java virtual machine language: 1. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
SafeJava, deadlocks, data races, ownership types |
32 | Shih-Wei Liao, Keqiang Wu |
DJ: A Transparent Java-Integrated Data Access System. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Mark A. Baker, Matthew Grove, Aamir Shafi |
Parallel and Distributed Computing with Java. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Lilian Burdy, Mariela Pavlova |
Java bytecode specification and verification. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Mohammad Shirali-Shahreza |
Java Applets Copy Protection by Steganography. |
IIH-MSP |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Daniel Reynaud-Plantey |
New threats of Java viruses. |
J. Comput. Virol. |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Guillermo L. Taboada, Juan Touriño, Ramon Doallo |
Designing Efficient Java Communications on Clusters. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Hao Cai, Andy J. Wellings |
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Michael Factor, Assaf Schuster, Konstantin Shagin |
A Distributed Runtime for Java: Yesterday and Today. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
32 | David R. Cok, Joseph Kiniry |
ESC/Java2: Uniting ESC/Java and JML. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Francis C. M. Lau 0001 |
Towards a Single System Image for High-Performance Java. |
ISPA |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa |
Random Program Generator for Java JIT Compiler Test System. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Michael Factor, Assaf Schuster, Konstantin Shagin |
JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations. |
CLUSTER |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Algis Rudys, Dan S. Wallach |
Enforcing Java Run-Time Properties Using Bytecode Rewriting. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | 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 |
|
32 | Todd Smith, Suresh Srinivas, Philipp Tomsich, Jinpyo Park |
Experiences with Retargeting the Java Hotspot(tm) Virtual Machine. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Muhammad Umar Janjua, Muhammad Mehboob Yasin, Ch. Falak Sher, K. Awan, I. Hassan |
CEJVM: "Cluster Enabled Java Virtual Machine". |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Thomas M. Breuel |
Implementing Dynamic Language Features in Java Using Dynamic Code Generation. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Dieter Bühler, Wolfgang Küchlin |
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst |
Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Dale Parson |
Using Java reflection to automate extension language parsing. |
DSL |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Geoffrey C. Fox, Shrideep Pallickara, Xi Rao |
A scaleable event infrastructure for peer to peer grids. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
event distribution systems, grid computing, middleware, JXTA, P2P systems |
31 | Igor Pechtchanski, Vivek Sarkar |
Immutability specification and its applications. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
optimization, annotations, immutability |
31 | Toyotaro Suzumura, Hidemoto Nakada, Masayuki Saito, Satoshi Matsuoka, Yoshio Tanaka, Satoshi Sekiguchi |
The ninf portal: an automatic generation tool for grid portals. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Ninf-G, portal, grid portals, JSP, servlet, GridRPC |
31 | Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman |
Secure Internet Smartcards. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
31 | Jianxin Wang 0001, Ying An, Yu Sheng, Shaohua Li 0006 |
IDSVL: Intrusion Detection System Virtual Lab Based on Component in the Internet. |
ICWL |
2006 |
DBLP DOI BibTeX RDF |
intrusion detection system, Java applet, virtual lab, Java bean |
31 | Marcelo Lobosco, Orlando Loques, Claudio Luis de Amorim |
Reducing Memory Sharing Overheads in Distributed JVMs. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
concurrent Java applications, Java, high-performance computing, cluster computing, JVM, distributed shared memory |
31 | Raimund K. Ege |
Object-Oriented Database Access via Reflection. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Java, database, object orientation, reflection, persistence |
30 | Antonio J. Nebro, Enrique Alba 0001, Francisco Luna 0001, José M. Troya |
.NET as a Platform for Implementing Concurrent Objects (Research Note). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Suad Alagic, Tuong Nguyen |
Parametric Polymorphism and Orthogonal Persistence. |
Objects and Databases |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Paolo Ciancarini, Robert Tolksdorf |
Using the web to coordinate distributed applications. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Pang-Chieh Wang, Chin-Yang Lin, Cheng-Liang Lin, Yi-Fang Li, Cheng-Kai Yang, Ting-Wei Hou |
A Portable Feather-Weight Java-Based Graphic Library for Embedded Systems on Java Processor. |
IIH-MSP |
2009 |
DBLP DOI BibTeX RDF |
AWT, JOP, Java, Java processor |
30 | Leonard Barolli |
M3PS: a multi-platform P2P system based on JXTA and Java. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
Java, JXTA, P2P systems, multi-platform, Java applications |
30 | James J. Hunt |
Realtime Java technology in avionics systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
realtime Java technology, standards, avionics |
30 | 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 |
30 | Martin Zabel, Rainer G. Spallek |
Application requirements and efficiency of embedded Java bytecode multi-cores. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
multi-core, multi-threaded, realtime, Java bytecode |
30 | Lorenzo Bettini, Viviana Bono, Erica Turin |
I-Java: An Extension of Java with Incomplete Objects and Object Composition. |
SC@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
Class-based languages, Java, Object-oriented programming, Language extension, Object composition |
30 | Borys J. Bradel, Tarek S. Abdelrahman |
The use of hardware transactional memory for the trace-based parallelization of recursive Java programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, parallelism, transactional memory, traces |
30 | Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar |
A flexible Java framework for embedded systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, embedded systems, framework, flexibility, microcontroller |
30 | Anna Riccioni, Enrico Denti, Roberto Laschi |
An experimental environment for teaching Java security. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
Java cryptography extension, computer engineering education, virtual laboratory |
30 | Sudharshan S. Vazhkudai, James Arthur Kohl, Jens Schwidder |
A Java-based science portal for neutron scattering experiments. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java web portal, neutron science portal, architectures, service oriented |
30 | Christof Pitter, Martin Schoeberl |
Towards a Java multiprocessor. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, multiprocessor, shared memory |
30 | Matteo Bordin, Tullio Vardanega |
Real-time Java from an automated code generation perspective. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
model-driven engineering, real-time Java, automated code generation |
30 | Jeremy Singer, Chris C. Kirkham |
Dynamic analysis of program concepts in Java. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
Java |
30 | 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 |
30 | T. F. Lunney, Paul J. McCullagh, P. J. Lundy |
Java as the lingua franca for teaching graduate students. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
OO-light, Java, teaching, progression |
30 | Vijay P. Shah, Nicolas H. Younan, Torey Alford, Anthony Skjellum |
An advanced signal processing toolkit for JAVA applications. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
VSIPL, Java, algorithms, signal processing |
30 | Steve Counsell, Youssef Hassoun, Roger Johnson, Keith Mannock, Emilia Mendes |
Trends in Java code changes: the key to identification of refactorings? |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
Java, refactoring, code, changes |
30 | John Loughran, Tom Dowling |
A Java implemented key collision attack on the data encryption standard (DES). |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
key collision attack, Java, DES |
30 | Ian M. O'Neill, Philip Hanna 0001, Xingkun Liu, Des Greer |
A Java implementation of cross-domain mixed initiative spoken dialogue management. |
PPPJ |
2003 |
DBLP BibTeX RDF |
spoken dialogue management, Java, object-orientation, speech technology |
30 | Michael Thies |
Annotating Java libraries in support of whole-program optimization. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
30 | Chandra Krintz |
Using adaptive optimization techniques to teach mobile Java computing. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
30 | Pedro Álvarez 0001, José A. Bañares, Pedro R. Muro-Medrano, Javier Nogueras-Iso, F. J. Zarazaga |
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
distributed service cooperation, Java and JavaSpaces Technologies, Internet, Web-service architectures |
30 | Angelos P. Varvitsiotis, Despina Polemi, Andy Marsh |
EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets. |
ESORICS |
1998 |
DBLP DOI BibTeX RDF |
Telemedical Applications, Trusted Third Party Services, EUROMED, EUROMED-ETS, Java, Web |
30 | Chris Wallace 0001, Peter Martin |
Not Whether Java but How Java. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Java, Education, Programming |
29 | Jevgeni Kabanov, Rein Raudjärv |
Embedded typesafe domain specific languages for Java. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Ricci, Mirko Viroli |
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
agents & artifacts, simpA, concurrent programming |
29 | Min-Sik Jin, Min-Soo Jung |
A High Performance Buffering of Java Objects for Java Card Systems with Flash Memory. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Eric E. Allen, Robert Cartwright |
Safe instantiation in generic Java. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Vladimir Klebanov |
A JMM-Faithful Non-interference Calculus for Java. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Vicraj T. Thomas, Andrew McMullen, Lee Graba |
FT-Java: A Java-Based Framework for Fault-Tolerant Distributed Software. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
29 | William W. Pugh, Jaime Spacco |
MPJava: High-Performance Message Passing in Java Using Java.nio. |
LCPC |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sara Bouchenak, Daniel Hagimont, Noel De Palma |
Efficient Java thread serialization. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
dynamic de-optimization, persistence K2checkpoint/restart, performance, mobility, JVM, threads, type inference |
29 | Andy J. Wellings, Roy Clark, E. Douglas Jensen, Douglas Wells |
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Phillip M. Yelland |
A Compositional Account of the Java Virtual Machine. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
Java, verification, Haskell, Haskell, Java virtual machine, Java bytecode |
29 | Shayne Flint |
Using Java APIs with Native Ada Compilers. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, Ada, Ada, bindings, Java native interface |
29 | Daniel L. Schuster |
CS1, arcade games and the free Java book. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
acm java, free java book, games, cs1 |
29 | Joe Shanahan |
Students create game-based online learning environment that teaches Java programing. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
Java-education, dimension D, educational MMORPG, educational multi-media, educational video games, online world, Java, e-learning, virtual world, online community, edutainment, game-based learning, MMORPG |
29 | 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 |
29 | Mirela Djordjevic |
Experience with Pedagogical Patterns in Introductory Java Course. |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education |
2008 |
DBLP DOI BibTeX RDF |
Pedagogical Patterns, CS2001 Java Task Force - CS for Liberal Arts, Java Programming, Introductory Programming Course |
29 | Mirela Djordjevic |
Java projects motivated by student interests. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
CS2001 java task force - CS for liberal arts, java programming, introductory programming course |
29 | Abdul Sattar 0002, Torben Lorenzen |
Develop a compiler in Java for a compiler design course. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
Jasmin, complier, recursive descent parser, Java, Java, JVM |
29 | Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel |
A serialization based approach for strong mobility of shared object. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation |
29 | Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon |
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine |
29 | Shaun Bangay |
Experiences in porting a virtual reality system to Java. |
Afrigraph |
2001 |
DBLP DOI BibTeX RDF |
native calls, Java, Java, networking, serialization |
29 | Stuart Reges |
Conservatively radical Java in CS1. |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
Java, Java, concurrency, GUI, CS1 |
29 | Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
Low-level analysis of a portable Java byte code WCET analysis framework. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs |
29 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
Displaying result #501 - #600 of 16304 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|