Search results for "Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Tian-jun Zuo, Jun-gang Han, Ping Chen	Formalizing Java Dynamic Loading in HOL.	TPHOLs	2004	DBLP DOI BibTeX RDF
21	Greg Nelson	Extended Static Checking for Java.	MPC	2004	DBLP DOI BibTeX RDF
21	Ali Hamie	Translating the Object Constraint Language into the Java Modelling Language.	SAC	2004	DBLP DOI BibTeX RDF	UML, constraints, reasoning, OCL, JML
21	Tetsuo Kamina, Tetsuo Tamai	McJava - A Design and Implementation of Java with Mixin-Types.	APLAS	2004	DBLP DOI BibTeX RDF
21	Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang	Exploiting Java Objects Behavior for Memory Management and Optimizations.	APLAS	2004	DBLP DOI BibTeX RDF
21	M. Teresa Higuera-Toledano	Studying the Behaviour of the Single Parent Rule in Real-Time Java.	OTM Workshops	2004	DBLP DOI BibTeX RDF
21	Feihui Li, Pyush Agrawal, Grace Eberhardt, Eren Manavoglu, Secil Ugurel, Mahmut T. Kandemir	Improving Memory Performance of Embedded Java Applications by Dynamic Layout Modifications.	IPDPS	2004	DBLP DOI BibTeX RDF
21	Nicholas Lamb, Paul Lu, Alona Fyshe	Trellis Driver: Distributing a Java Workflow across a Network of Workstations.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
21	H. Martin Bücker, Bruno Lang, Hans-Joachim Pflug, Andre Vehreschild	Threads in an Undergraduate Course: A Java Example Illuminating Different Multithreading Approaches.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
21	Miguel Calejo	InterProlog: Towards a Declarative Embedding of Logic Programming in Java.	JELIA	2004	DBLP DOI BibTeX RDF
21	Nathanael Paul, David Evans 0001	.NET Security: Lessons Learned and Missed from Java.	ACSAC	2004	DBLP DOI BibTeX RDF
21	Gary K. W. Hau, Anthony S. Fong, Mok Pak Lun	Support of Java API for the jHISC system.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
21	Jesse M. Heines	Enabling XML storage from Java applets in a GUI programming course.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
21	Qinan Zhou, Paul Tarau	Garbage Collection Algorithms for Java-Based Prolog Engines.	PADL	2003	DBLP DOI BibTeX RDF	Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers
21	Frédéric Guidec, Yves Mahéo, Luc Courtrai	A Java Middleware Platform for Resource-Aware Distributed Applications.	ISPDC	2003	DBLP DOI BibTeX RDF
21	Gary K. W. Hau, Anthony S. Fong, Mok Pak Lun	Support of Java API for the jHISC system.	ISICT	2003	DBLP BibTeX RDF
21	Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers	Polyglot: An Extensible Compiler Framework for Java.	CC	2003	DBLP DOI BibTeX RDF
21	Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet	Towards Superinstructions for Java Interpreters.	SCOPES	2003	DBLP DOI BibTeX RDF
21	Martin Schoeberl	JOP: A Java Optimized Processor.	OTM Workshops	2003	DBLP DOI BibTeX RDF
21	Yolanda Becerra 0001, Toni Cortes, Jordi Garcia 0001, Nacho Navarro	Evaluating the importance of virtual memory for Java.	ISPASS	2003	DBLP DOI BibTeX RDF
21	Henri E. Bal	A Java-Based Grid Programming Environment.	Euro-Par	2003	DBLP DOI BibTeX RDF
21	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
21	Guilin Chen, Byung-Tae Kang, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Rajarathnam Chandramouli	Energy-Aware Compilation and Execution in Java-Enabled Mobile Devices.	IPDPS	2003	DBLP DOI BibTeX RDF
21	Jordi Guitart, Xavier Martorell, Jordi Torres, Eduard Ayguadé	Application/Kernel Cooperation Towards the Efficient Execution of Shared-Memory Parallel Java Codes.	IPDPS	2003	DBLP DOI BibTeX RDF
21	Edward R. Sykes	An Intelligent Tutoring System Prototype for Learning to Program Java?	ICALT	2003	DBLP DOI BibTeX RDF
21	Hoon-Joon Kouh, Weon-Hee Yoo	The Efficient Debugging System for Locating Logical Errors in Java Programs.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
21	Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
21	Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue	Design and Implementation of Bytecode-based Java Slicing System.	SCAM	2003	DBLP DOI BibTeX RDF
21	Danilo Bruschi, D. Fabris, V. Glave, Emilia Rosti	How to unwittingly sign non-repudiable documents with Java applications.	ACSAC	2003	DBLP DOI BibTeX RDF
21	Garret Swart	MinSQL: a simple componentized database for the classroom.	PPPJ	2003	DBLP BibTeX RDF	classroom software, componentized software
21	Ludovic Casset, Lilian Burdy, Antoine Requet	Formal Development of an Embedded Verifier for Java Card Byte Code.	DSN	2002	DBLP DOI BibTeX RDF
21	Andreas Eberhart	Automatic Generation of Java/SQL Based Inference Engines from RDF Schema and RuleML.	ISWC	2002	DBLP DOI BibTeX RDF
21	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
21	Mike Jochen, Lisa M. Marvel, Lori L. Pollock	Bandwidth Efficient Tamper Detection for Distributed Java Systems.	HPCS	2002	DBLP DOI BibTeX RDF
21	Frank Dévai, Mizanur Rahman	The Suitability of the Java Language for Computer-Graphics and Visualisation Research.	IV	2002	DBLP DOI BibTeX RDF
21	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Formal Framework for Java Separate Compilation.	ECOOP	2002	DBLP DOI BibTeX RDF
21	Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata	Extended Static Checking for Java.	PLDI	2002	DBLP DOI BibTeX RDF	compile-time program checking
21	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Tool-Supported Proof System for Multithreaded Java.	FMCO	2002	DBLP DOI BibTeX RDF
21	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
21	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Customizable Deployment, Composition, and Hosting of Distributed Java Applications.	OTM	2002	DBLP DOI BibTeX RDF
21	Pablo Romero, Rudi Lutz, Richard Cox, Benedict du Boulay	Co-Ordination of Multiple External Representations during Java Program Debugging.	HCC	2002	DBLP DOI BibTeX RDF
21	Alessandro Orso, Anup Rao 0004, Mary Jean Harrold	A Technique for Dynamic Updating of Java Software.	ICSM	2002	DBLP DOI BibTeX RDF
21	Martin Schaaf, Frank Maurer	Integrating Java and CORBA: A Programmer's Perspective.	IEEE Internet Comput.	2001	DBLP DOI BibTeX RDF
21	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
21	Rainer Oechsle, Thomas Schmitt	JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI).	Software Visualization	2001	DBLP DOI BibTeX RDF
21	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
21	Michael Montgomery, Ksheerabdhi Krishna	A Flexible Invocation Framework for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
21	Marc Éluard, Thomas P. Jensen, Ewen Denney	An Operational Semantics of the Java Card Firewall.	E-smart	2001	DBLP DOI BibTeX RDF
21	Bart Jacobs 0001	A Formalisation of Java's Exception Mechanism.	ESOP	2001	DBLP DOI BibTeX RDF
21	Eduardo Javier Huerta Yero, Marco Aurélio Amaral Henriques, Javier R. Garcïa, Alina C. Leyva	JOINT: An Object Oriented Message Passing Interface for Parallel Programming in Java.	HPCN	2001	DBLP DOI BibTeX RDF
21	Hong Wang, Guangzhou Zeng, Shouxun Lin	A Strong Migration Method of Mobile Agents Based on Java.	CSCWD	2001	DBLP DOI BibTeX RDF
21	William S. Beebee, Martin C. Rinard	An Implementation of Scoped Memory for Real-Time Java.	EMSOFT	2001	DBLP DOI BibTeX RDF
21	Violeta Felea, Nathalie Devesa, Bernard Toursel, Pierre Lecouffe	Expressing Parallelism in Java Applications Distributed on Clusters.	IWCC	2001	DBLP DOI BibTeX RDF
21	Dawid Kurzyniec, Vaidy S. Sunderam	Flexible Class Loader Framework: Sharing Java Resources in Harness System.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
21	Torsten Illmann, Tilman Krueger, Frank Kargl, Michael Weber 0001	Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture.	Mobile Agents	2001	DBLP DOI BibTeX RDF
21	John Hatcliff, Matthew B. Dwyer	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.	CONCUR	2001	DBLP DOI BibTeX RDF
21	Sukyoung Ryu, Kwangkeun Yi	Exception Analysis for Multithreaded Java Programs.	APAQS	2001	DBLP DOI BibTeX RDF
21	Todd L. Veldhuizen	Just When You Thought Your Little Language Was Safe: "Expression Templates" in Java.	GCSE	2000	DBLP DOI BibTeX RDF
21	Sophia Drossopoulou	An Abstract Model of Java Dynamic Linking and Loading.	Types in Compilation	2000	DBLP DOI BibTeX RDF
21	Michael Philippsen, Ronald F. Boisvert, Vladimir Getov, Roldan Pozo, José E. Moreira, Dennis Gannon, Geoffrey C. Fox	JavaGrande - High Performance Computing with Java.	PARA	2000	DBLP DOI BibTeX RDF
21	David Whitlock, Antony L. Hosking	A Framework for Persistence-Enabled Optimization of Java Object Stores.	POS	2000	DBLP DOI BibTeX RDF
21	Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam	Architectural Issues in Java Runtime Systems.	HPCA	2000	DBLP DOI BibTeX RDF
21	Todd B. Knoblock, Jakob Rehof	Type Elaboration and Subtype Completion for Java Bytecode.	POPL	2000	DBLP DOI BibTeX RDF
21	Larry A. Barowski, James H. Cross II, T. Dean Hendrix	From C to Java: a case study in portability, efficiency, and maintenance.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
21	Françoise Baude, Denis Caromel, Fabrice Huet, Julien Vayssière	Communicating Mobile Active Objects in Java.	HPCN	2000	DBLP DOI BibTeX RDF
21	Marco Danelutto	Task Farm Computations in Java.	HPCN	2000	DBLP DOI BibTeX RDF	Task farm, load balancing, cluster computing, skeletons
21	Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii, Katsuro Inoue	A Practical Method for Watermarking Java Programs.	COMPSAC	2000	DBLP DOI BibTeX RDF
21	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
21	Paul M. Murray, Todd Smith, Suresh Srinivas, Matthias Jacob	Performance Issues for Multi-language Java Applications.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
21	Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. Barr, J. Fritz Barnes	Runtime Support for Type-Safe Dynamic Java Classes.	ECOOP	2000	DBLP DOI BibTeX RDF
21	Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Yasunori Kimura	OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java.	ECOOP	2000	DBLP DOI BibTeX RDF
21	Damir Horvat, Dragana Cvetkovic, Veljko M. Milutinovic	Mobile Agents and Java Mobile Agents Toolkits.	HICSS	2000	DBLP DOI BibTeX RDF
21	Weimin Zheng, Fengzhou Zheng, Bo Yang, Yanling Wang	A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
21	Raimund K. Ege	Reading Large Volumes of Java Objects from Database.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
21	Ramesh Radhakrishnan, Deependra Talla, Lizy Kurian John	Allowing for ILP in an embedded Java processor.	ISCA	2000	DBLP DOI BibTeX RDF
21	Thomas Fahringer	JavaSymphony: A System for Development of Locality-Oriented Distributed and Parallel Java Applications.	CLUSTER	2000	DBLP DOI BibTeX RDF
21	Saurav Chatterjee, Bikash Sabata, Michael Brown	Adaptive QoS Support for Distributed, Java-Based Applications.	ISORC	1999	DBLP DOI BibTeX RDF
21	Kristof Beyls, Erik H. D'Hollander, Yijun Yu	JPT: A Java Parallelization Tool.	PVM/MPI	1999	DBLP DOI BibTeX RDF
21	Derek Rayside, Kostas Kontogiannis	Extracting Java Library Subsets for Deployment on Embedded Systems.	CSMR	1999	DBLP DOI BibTeX RDF
21	Klaus Havelund, Jens U. Skakkebæk	Applying Model Checking in Java Verification.	SPIN	1999	DBLP DOI BibTeX RDF
21	Brian M. Barry, John Duimovich	Embedded Java: Techniques and Applications.	ISSS	1999	DBLP DOI BibTeX RDF
21	Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers	Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.	SAS	1999	DBLP DOI BibTeX RDF
21	Christoforos Panayiotou, George Samaras, Evaggelia Pitoura, Paraskevas Evripidou	Parallel Computing using Java Mobile Agents.	EUROMICRO	1999	DBLP DOI BibTeX RDF
21	Malcolm P. Atkinson 0001, Mick J. Jordan	Issues Raised by Three Years of Developing PJama: An Orthogonally Persistent Platform for Java.	ICDT	1999	DBLP DOI BibTeX RDF
21	Ian Welch, Robert J. Stroud	Supporting Real World Security Models in Java.	FTDCS	1999	DBLP DOI BibTeX RDF
21	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
21	David Wakeling	Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
21	John Iliadis, Stefanos Gritzalis, V. Oikonomou	Towards Secure Downloadable Executable Content: The Java Paradigm.	SAFECOMP	1998	DBLP DOI BibTeX RDF
21	Gerti Kappel, Birgit Schröder	Distributed Light-Weight Persistence in Java - A Tour on RMI- and CORBA-Based Solutions.	DEXA	1998	DBLP DOI BibTeX RDF
21	Stefan Fünfrocken	Transparent Migration of Java-Based Mobile Agents.	Mobile Agents	1998	DBLP DOI BibTeX RDF
21	Dan S. Wallach, Edward W. Felten	Understanding Java Stack Inspection.	S&P	1998	DBLP DOI BibTeX RDF
21	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
21	David Wakeling	A Haskell to Java Virtual Machine Code Compiler.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
21	Andreas Schade	Automatic Generation of Bridging Code for Accessing C++ from Java.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	Language mapping, Representative classes, Code generation
21	Curtis Beeson	An Object-Oriented Approach to VRML Development.	VRML	1997	DBLP DOI BibTeX RDF	Java Script, external authoring interface, Java, Java, prototype, VRML, VRML, script
21	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Associated types and constraint propagation for mainstream object-oriented generics.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C#
21	Andrew P. Black	Post-Javaism.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Post-Java, Java, GUI, programming language
21	Pierre Drap, Luc Long	Towards a digital excavation data management system: the "Grand Ribaud F" Estruscan deep-water wreck.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF	archaeological database, underwater archaeology, underwater photogrammetry, java, Java, internet, geographic information system, VRML, three-dimensional model
21	Ciarán Bryce, Chrislain Razafimahefa	An approach to safe object sharing.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java, Java, access control, sharing, aliasing, protection domains
21	Grzegorz Czajkowski	Application isolation in the JavaTM Virtual Machine.	OOPSLA	2000	DBLP DOI BibTeX RDF	application isolation, Java, Java Virtual Machine, multitasking