Search results for "Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger	Attribute Grammar-Based Language Extensions for Java.	ECOOP	2007	DBLP DOI BibTeX RDF
25	Guillermo L. Taboada, Carlos Teijeiro, Juan Touriño	High Performance Java Remote Method Invocation for Parallel Computing on Clusters.	ISCC	2007	DBLP DOI BibTeX RDF
25	Weimin Wu, Kailun Li, Qing Su	Array Modeling in Java Virtual Machine.	APPT	2007	DBLP DOI BibTeX RDF
25	Vincenzo Gervasi, Giacomo A. Galilei	Software Manipulation with Annotations in Java.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
25	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
25	Brijesh Dongol	Derivation of Java Monitors.	ASWEC	2006	DBLP DOI BibTeX RDF
25	Guillermo L. Taboada, Juan Touriño, Ramon Doallo	Non-blocking Java Communications Support on Clusters.	PVM/MPI	2006	DBLP DOI BibTeX RDF
25	Tal Cohen, Joseph Gil, Itay Maman	JTL: the Java tools language.	OOPSLA	2006	DBLP DOI BibTeX RDF	reverse engineering, declarative programming
25	Miaobo Chen, Shalom Goldenberg, Suresh Srinivas, Valery Ushakov, Young Wang, Qi Zhang, Eric Lin, Yoav Zach	Java JNI Bridge: A Framework for Mixed Native ISA Execution.	CGO	2006	DBLP DOI BibTeX RDF
25	Yu Lei 0001, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez	A State Exploration-Based Approach to Testing Java Monitors.	ISSRE	2006	DBLP DOI BibTeX RDF
25	ZhiLei Chai, Wenbo Xu 0001, Shi-liang Tu, Zhang-long Chen	Implementing Predictable Scheduling in RTSJ-Based Java Processor.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
25	Tobias Sager, Abraham Bernstein, Martin Pinzger 0001, Christoph Kiefer	Detecting similar Java classes using tree algorithms.	MSR	2006	DBLP DOI BibTeX RDF	tree similarity measures, software evolution, software repositories, change analysis
25	Mark Baker, Bryan Carpenter, Aamir Shafi	MPJ Express: Towards Thread Safe Java HPC.	CLUSTER	2006	DBLP DOI BibTeX RDF
25	Guillermo L. Taboada, Juan Touriño, Ramon Doallo	Efficient Java Communication Protocols on High-speed Cluster Interconnects.	LCN	2006	DBLP DOI BibTeX RDF
25	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
25	Godmar Back, Wilson C. Hsieh	The KaffeOS Java runtime system.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation
25	Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung	The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card.	ICESS	2005	DBLP DOI BibTeX RDF
25	David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev	High-level real-time programming in Java.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, visualization, WCET, tasks, allocation
25	Seung-hyun Min, Kwang Ho Chun, Young-Rok Yang, Myoung-Jun Kim	A Soft Real-Time Guaranteed Java M: N Thread Mapping Method.	KES (1)	2005	DBLP DOI BibTeX RDF
25	Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung	A Study on Fast JCVM with New Transaction Mechanism and Caching-Buffer Based on Java Card Objects with a High Locality.	EUC Workshops	2005	DBLP DOI BibTeX RDF
25	Tzu-Chi Huang, Ce-Kuen Shieh, Yu-Ben Miao	Java Application's Packet Eavesdropper for Content Delivery Network.	AINA	2005	DBLP DOI BibTeX RDF
25	Attila Szegedi, Tibor Gyimóthy	Dynamic Slicing of Java Bytecode Programs.	SCAM	2005	DBLP DOI BibTeX RDF
25	Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad, Trevor Harmon	RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, .	Middleware	2005	DBLP DOI BibTeX RDF
25	Wojciech Mostowski	Formalisation and Verification of Java Card Security Properties in Dynamic Logic.	FASE	2005	DBLP DOI BibTeX RDF
25	Naohiko Shimizu, Chiaki Kon	Java object look aside buffer for embedded applications.	SIGARCH Comput. Archit. News	2004	DBLP DOI BibTeX RDF
25	Martin Schoeberl	Restrictions of Java for Embedded Real-Time Systems.	ISORC	2004	DBLP DOI BibTeX RDF
25	Andy Georges, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere	Method-level phase behavior in java workloads.	OOPSLA	2004	DBLP DOI BibTeX RDF
25	Chun-Pong Yu, Chiu-sing Choy, Hao Min, Cheong-Fat Chan, Kong-Pang Pun	A low power asynchronous Java processor for contactless smart card.	ASP-DAC	2004	DBLP DOI BibTeX RDF
25	Martin Schoeberl	Java Technology in an FPGA.	FPL	2004	DBLP DOI BibTeX RDF
25	Paul D. Coddington, A. J. Newell	JAPARA - A Java Parallel Random Number Generator Library for High-Performance Computing.	IPDPS	2004	DBLP DOI BibTeX RDF
25	Emanuele Lattanzi, Aman Gayasen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Luca Benini, Alessandro Bogliolo	Improving Java Performance Using Dynamic Method Migration on FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
25	Thomas Strauß, Oliver E. Theel	Integration of a Dynamic Object Replication Framework in Java.	PDP	2003	DBLP DOI BibTeX RDF
25	Etienne Gagnon, Laurie J. Hendren	Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences.	CC	2003	DBLP DOI BibTeX RDF
25	Dawid Kurzyniec, Tomasz Wrzosek, Vaidy S. Sunderam, Aleksander Slominski	RMIX: A Multiprotocol RMI Framework for Java.	IPDPS	2003	DBLP DOI BibTeX RDF
25	Luis Mateu	A Java Dialect Free of Data Races and without Annotations.	IPDPS	2003	DBLP DOI BibTeX RDF
25	Ghulam Lashari, Suresh Srinivas	Characterizing Java[tm] Application Performance.	IPDPS	2003	DBLP DOI BibTeX RDF
25	Brad Long, Benjamin W. Long	Formal Specification of Java Concurrency to Assist Software Verification.	IPDPS	2003	DBLP DOI BibTeX RDF
25	Varsha Awhad, Charles Wallace 0001	A Unified Formal Specification and Analysis of the New Java Memory Models.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
25	Jayant DeSouza, Laxmikant V. Kalé	Jade: A Parallel Message-Driven Java.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
25	Lin Lin, Linpeng Huang, Yongqiang Sun	Optimizing Java Based Web Services by Partial Evaluation.	GCC (1)	2003	DBLP DOI BibTeX RDF
25	Kazuaki Ishizaki, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani	Eliminating Exception Constraints of Java Programs for IA-64.	IEEE PACT	2002	DBLP DOI BibTeX RDF
25	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Java Class Deployment Using Class Collections.	NetObjectDays	2002	DBLP DOI BibTeX RDF
25	Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko	Tuning Garbage Collection in an Embedded Java Environment.	HPCA	2002	DBLP DOI BibTeX RDF
25	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
25	David Hovemeyer, William W. Pugh, Jaime Spacco	Atomic Instructions in Java.	ECOOP	2002	DBLP DOI BibTeX RDF
25	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to and side-effect analyses for Java.	ISSTA	2002	DBLP DOI BibTeX RDF
25	Joseph Burchfield, Samir Lipovaca	Using an APL approach with Java.	APL	2002	DBLP DOI BibTeX RDF
25	Satyam Tyagi, Paul Tarau	A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.	PADL	2001	DBLP DOI BibTeX RDF
25	Rodrigo Fernandes de Mello, Maria Stela V. de Paiva, Luís Carlos Trevelin	A Java Cluster Management Service.	NCA	2001	DBLP DOI BibTeX RDF
25	Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng	A Run-Time Deadlock Detector for Concurrent Java Programs.	APSEC	2001	DBLP DOI BibTeX RDF
25	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
25	Andreas Krall, Philipp Tomsich	Java for Large-Scale Scientific Computations?	LSSC	2001	DBLP DOI BibTeX RDF
25	Yefim Shuf, Mauricio J. Serrano, Manish Gupta 0002, Jaswinder Pal Singh	Characterizing the memory behavior of Java workloads: a structured view and opportunities for optimizations.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
25	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	An Effective Translation of Fickle into Java.	ICTCS	2001	DBLP DOI BibTeX RDF
25	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
25	Éric Tanter, Noury M. N. Bouraqadi-Saâdani, Jacques Noyé	Reflex - Towards an Open Reflective Extension of Java.	Reflection	2001	DBLP DOI BibTeX RDF
25	Jung Gyu Park, Arthur H. Lee	Removing Reflection from Java Programs Using Partial Evaluation.	Reflection	2001	DBLP DOI BibTeX RDF
25	Todd Smith, Suresh Srinivas, Philipp Tomsich, Jinpyo Park	Practical Experiences with Java Compilation.	HiPC	2000	DBLP DOI BibTeX RDF
25	Tarja Systä, Ping Yu, Hausi A. Müller	Analyzing Java Software by Combining Metrics and Program Visualization.	CSMR	2000	DBLP DOI BibTeX RDF
25	Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Patrice Pominville, Vijay Sundaresan	Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?	CC	2000	DBLP DOI BibTeX RDF
25	Mladen Berekovic, Helge Kloos, Peter Pirsch	Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
25	Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete	Dealing with Non-Determinism in Communications within Java Applications.	EUROMICRO	1999	DBLP DOI BibTeX RDF
25	Pedro V. Artigas, Manish Gupta 0002, Samuel P. Midkiff, José E. Moreira	High Performance Numerical Computing in Java: Language and Compiler Issues.	LCPC	1999	DBLP DOI BibTeX RDF
25	Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder	Instruction Scheduling in the Presence of Java's Runtime Exceptions.	LCPC	1999	DBLP DOI BibTeX RDF
25	Ian Welch, Robert J. Stroud	Kava - A Reflective Java Based on Bytecode Rewriting.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
25	Murat Karaorman, Urs Hölzle, John L. Bruno	jContractor: A Reflective Java Library to Support Design by Contract.	Reflection	1999	DBLP DOI BibTeX RDF
25	Ian Welch, Robert J. Stroud	From Dalang to Kava - The Evolution of a Reflective Java Extension.	Reflection	1999	DBLP DOI BibTeX RDF
25	Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler	TurboJ, a Java Bytecode-to-Native Compiler.	LCTES	1998	DBLP DOI BibTeX RDF
25	Paulo Martins 0001, Luís Moura Silva, João Gabriel Silva	A Java Interface for WMPI.	PVM/MPI	1998	DBLP DOI BibTeX RDF
25	Brian Blount, Siddhartha Chatterjee	An Evaluation of Java for Numerical Computing.	ISCOPE	1998	DBLP DOI BibTeX RDF
25	Masami Hagiya, Akihiko Tozawa	On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.	SAS	1998	DBLP DOI BibTeX RDF
25	David E. Emery, Robert F. Mathias, Karl A. Nyberg	Automating the Ada Binding Process for Java- How Far Can We Go?	Ada-Europe	1998	DBLP DOI BibTeX RDF
25	C. John Glossner, Stamatis Vassiliadis	The Delft-Java Engine: An Introduction.	Euro-Par	1997	DBLP DOI BibTeX RDF
25	Kresten Krab Thorup	Genericity in Java with Virtual Types.	ECOOP	1997	DBLP DOI BibTeX RDF
24	Virginie Ahrens, Valérie Lecompte	Paper to HTML - an automatic, seamless process for documentation production.	SIGDOC	1999	DBLP DOI BibTeX RDF	C++ and Java class libraries, Java Script, page-authoring tools, Java, C++, modularity, HTML, HTML, reusability, portability, Web design, online documentation
24	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
24	Chang-Il Cha, Sang-Wook Kim, Ji-Woong Chang, Miyoung Shin	Performance Evaluation of Embedded Garbage Collectors in CVM Environment.	KES (1)	2007	DBLP DOI BibTeX RDF	CVM, Java, garbage collection, Java virtual machine
24	Hendra Saputra, Guangyu Chen, Richard R. Brooks, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin	Code protection for resource-constrained embedded devices.	LCTES	2004	DBLP DOI BibTeX RDF	Java security, java byte code, mono-alphabetic, poly-alphabetic, cryptography, substitution
24	Walter Cazzola	SmartMethod: an efficient replacement for method.	SAC	2004	DBLP DOI BibTeX RDF	Java Core Reflection Library, Java, optimization, reflection
24	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
24	Walter Binder, Jarle Hulaas, Alex Villazón	Portable resource control in the J-SEAL2 mobile agent system.	Agents	2001	DBLP DOI BibTeX RDF	security, Java, Java, resource control, mobile agent systems
24	Douglas Kramer	API documentation from source code comments: a case study of Javadoc.	SIGDOC	1999	DBLP DOI BibTeX RDF	Java platform, doc comments, doclets, documentation comments, generated documentation, source code comments, Java, Javadoc, API documentation
24	Ekklesia Hulahi, Achmad Nurmandi, Isnaini Muallidin, Mohammad Jafar Loilatu, Danang Kurniawan	Influence Vaccination Policy, Through Social Media Promotion (Study: West Java, East Java, and Central Java).	HCI (14)	2022	DBLP DOI BibTeX RDF
24	HaiTao Mei 0001, Ian Gray, Andy J. Wellings	Integrating Java 8 Streams with The Real-Time Specification for Java.	JTRES	2015	DBLP DOI BibTeX RDF
24	Shams Mahmood Imam, Vivek Sarkar	Habanero-Java library: a Java 8 framework for multicore programming.	PPPJ	2014	DBLP DOI BibTeX RDF
24	Xavier Clerc	OCaml-Java: an ML implementation for the Java ecosystem.	PPPJ	2013	DBLP DOI BibTeX RDF
24	Jesper Öqvist, Görel Hedin	Extending the JastAdd extensible Java compiler to Java 7.	PPPJ	2013	DBLP DOI BibTeX RDF
24	Martin Schoeberl, Juan Ricardo Rios	Safety-critical Java on a Java processor.	JTRES	2012	DBLP DOI BibTeX RDF
24	James Caska, Martin Schoeberl	Java dust: how small can embedded Java be?	JTRES	2011	DBLP DOI BibTeX RDF
24	Jan Smans	Specification and Automatic Verification of Frame Properties for Java-like Programs (Specificatie en automatische verificatie van frame eigenschappen voor Java-achtige programma's) ; Specification and Automatic Verification of Frame Properties for Java-like Programs.		2009	RDF
24	Kathy Sierra, Bert Bates	Head first Java - your brain on Java: a learner's guide: covers Java 5.0 (2. ed.).		2005	RDF
24	David Flanagan	Java examples - in a nutshell: a tutorial companion to java in a nutshell: covers java 2 version 1.4 (3. ed).		2004	RDF
24	Hector Zenil Chavez	How to Develop Enterprise-Secure Java Applications Learning Risks (A review of Hacking Exposed J2EE and Java, Developing Secure Applications with Java Technology by Art Taylor, Brian Buege, and Randy Layman).	IEEE Distributed Syst. Online	2003	DBLP BibTeX RDF
24	Patrick Niemeyer, Jonathan Knudsen	Learning Java - help for new Java developers: covers Java 2 SDK 1.4 (2. ed.).		2002	RDF
24		Java-Tutorial 1996 - introduction to Java Programming, Java application programming.		1996	RDF
24	David Flanagan	Java in a Nutshell - A Desktop Quick Reference for Java Programmers, Covers Java 1.0		1996	RDF
24	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
24	Ronald Toegl, Thomas Winkler 0002, Mohammad Nauman, Theodore W. Hong	Towards platform-independent trusted computing.	STC	2009	DBLP DOI BibTeX RDF	jsr 321, java, trusted computing
24	Siliang Li, Gang Tan	Finding bugs in exceptional situations of JNI programs.	CCS	2009	DBLP DOI BibTeX RDF	static analysis, taint analysis, java native interface
24	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class