|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, June 12-14, 1999, pp. 25-34, 1999, ACM, 1-58113-161-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Matthew Izatt, Patrick Chan, Tim Brecht |
Ajents: Towards an Environment for Parallel, Distributed and Mobile Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, June 12-14, 1999, pp. 15-24, 1999, ACM, 1-58113-161-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Maurice Herlihy, Michael P. Warres |
A Tale of Two Directories: Implementing Distributed Shared Objects in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, June 12-14, 1999, pp. 99-108, 1999, ACM, 1-58113-161-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 164-174, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 197-202, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 230-237, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 1-7, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 241-247, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 113-122, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 175-184, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 13-22, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 104-110, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 199-202, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java |
43 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 639-640, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, PPPJ 2004, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 91-99, 2004, ACM, 1-59593-171-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi |
Flow Java: Declarative Concurrency for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 346-360, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 18-27, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, June 2-4, 2001, pp. 181, 2001, ACM, 1-58113-359-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, June 2-4, 2001, pp. 153-162, 2001, ACM, 1-58113-359-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
43 | Dan Bonachea |
Bulk file I/O extensions to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2000 Java Grande Conference, San Francisco, CA, USA, June 3-5, 2000, pp. 16-25, 2000, ACM, 1-58113-288-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bulk, Java, asynchronous, I/O |
43 | Takashi Suezawa |
Persistent execution state of a Java virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2000 Java Grande Conference, San Francisco, CA, USA, June 3-5, 2000, pp. 160-167, 2000, ACM, 1-58113-288-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 23-30, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 1332-1338, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 232, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 151-162, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 271-312, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Pieter H. Hartel, Michael J. Butler, Moshe Levy |
The Operational Semantics of a Java Secure Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 313-352, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Yiyu Tan, Anthony S. Fong, Xiaojian Yang |
An Instruction Folding Solution to a Java Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings, pp. 415-424, 2007, Springer, 978-3-540-74783-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 15-34, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 1(1), pp. 27-55, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 8, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 872-887, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 67-76, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 38-42, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bantam java |
42 | Jeremy Manson, William W. Pugh, Sarita V. Adve |
The Java memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 378-391, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002, pp. 304-311, 2002, ACM, 1-58113-575-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 22-24 May 2002, Berlin, Germany, pp. 255-263, 2002, IEEE Computer Society, 0-7695-1582-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 16(3), pp. 159-168, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 310-327, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: 4th International Symposium on Workload Characterization (IISWC 2008), Seattle, Washington, USA, September 14-16, 2008, pp. 153-162, 2008, IEEE Computer Society, 978-1-4244-2778-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Kenji Watanabe, Wanming Chu, Yamin Li |
Exploiting Java Instruction/Thread Level Parallelism with Horizontal Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 6th Australasian Computer Systems Architecture Conference (ACSAC 2001), 29-30 January 2001, Gold Coast, Queensland, Australia, pp. 35-44, 2001, IEEE Computer Society, 0-7695-0954-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Jeffrey Raymond Horowitz |
Bringing Java to TMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 629-638, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Giuseppe Milicia, Vladimiro Sassone |
Jeeg: a programming language for concurrent objects synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 212-221, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 177-179, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
41 | Pieter H. Hartel, Luc Moreau 0001 |
Formalizing the safety of Java, the Java virtual machine, and Java card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 33(4), pp. 517-558, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 121-124, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 106-114, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 129-155, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 133-142, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 149-158, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 19-28, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 41-50, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 73-82, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 187-195, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 34-44, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 101-106, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
Java |
40 | T. John Brown, Ivor T. A. Spence, Peter Kilpatrick |
Mixin programming in Java with reflection and dynamic invocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 25-34, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 19-24, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
Java |
40 | Neng-Fa Zhou |
Building Java Applets by Using DJ - A Java-based Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 442-447, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
DJ, Java, Prolog, Layout, Constraint programming, Applet |
40 | Martin Plümicke |
Intersection types in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 181-188, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, PPPJ 2004, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 52-60, 2004, ACM, 1-59593-171-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers, pp. 33-47, 2003, Springer, 3-540-21091-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN (1) ![In: Information Networking, Wireless Communications Technologies and Network Applications, International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002, Revised Papers, Part I, pp. 571-580, 2002, Springer, 3-540-44256-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Catalin Amza, Gianna Reggio |
A Notation for Component-Based Design of Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers, pp. 155-164, 2002, Springer, 3-540-00679-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Laurent Baduel, Françoise Baude, Denis Caromel |
Efficient, flexible, and typed group communications in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 28-36, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 6-24, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Don Syme |
Proving Java Type Soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 83-118, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing |
An Event-Based Structural Operational Semantics of Multi-Threaded Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 157-200, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Jim Alves-Foss, Fong Shing Lam |
Dynamic Denotational Semantics of Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 201-240, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Edutainment ![In: Transactions on Edutainment II, pp. 19-32, 2009, Springer, 978-3-642-03269-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 22(2), pp. 59-69, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 36-44, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 356-365, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 114-123, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 492-501, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDTC ![In: Fault Diagnosis and Tolerance in Cryptography, Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings, pp. 237-251, 2006, Springer, 3-540-46250-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 272-289, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August - 1 September 2000, San Francisco, California, USA, pp. 565-569, 2000, IEEE Computer Society, 0-7695-0728-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java Sockets, performance evaluation, Internet, WWW, Java RMI |
39 | Joachim Posegga |
Die Sicherheitsaspekte von Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 21(1), pp. 16-22, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 1998, Dublin City University, Ireland, 18-21 August 1998, pp. 105-107, 1998, ACM, 1-58113-000-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 690-697, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 385-402, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(1), pp. 57-69, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 39-56, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 386-397, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, FPGA, compiler, Reconfigurable computing, Verilog |
39 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 165-174, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 489-499, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, JavaScript |
39 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Using Staged Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 368-374, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java Decompile Soot Dava Staged Encapsulation Sable |
39 | Egon Börger, Wolfram Schulte |
Initialization problems for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 19(4), pp. 175-178, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 219-228, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 22-32, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999, pp. 128-138, 1999, IEEE Computer Society, 0-7695-0425-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 306-315, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30 - December 3, 1998, Toronto, Ontario, Canada, pp. 19, 1998, IBM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
Java |
38 | Daniel Smith 0003, Robert Cartwright |
Java type inference is broken: can we fix it? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 505-524, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 228-233, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 475-482, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yangsun Lee 0002, Seungwon Na |
Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part III, pp. 826-832, 2004, Springer, 3-540-23205-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan |
A More Expressive Monitor for Concurrent Java Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 1053-1060, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|