Search results for "java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Tal Cohen, Joseph Gil	Self-Calibration of Metrics of Java Methods.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP
29	Christophe Lizzi	Enabling Deadline Scheduling for Java Real-Time Computing.	RTSS	1999	DBLP DOI BibTeX RDF	Java Virtual Machine, EDF, Real-Time Java, Deadline Scheduling
28	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
28	Peter Bertels, Wim Heirman, Erik H. D'Hollander, Dirk Stroobandt	Efficient memory management for hardware accelerated Java Virtual Machines.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Java Virtual Machine, hardware acceleration, Dynamic memory management
28	Phil McGachey, Antony L. Hosking, J. Eliot B. Moss	Classifying Java class transformations for pervasive virtualized access.	GPCE	2009	DBLP DOI BibTeX RDF	java, program transformation, object model
28	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
28	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
28	Niels Brouwers, Peter Corke, Koen Langendoen	A java compatible virtual machine for wireless sensor nodes.	SenSys	2008	DBLP DOI BibTeX RDF	java, sensor network
28	Craig Anslow, James Noble 0001, Stuart Marshall, Ewan D. Tempero	Visualizing the word structure of Java class names.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	class names, java, evolution, software visualization
28	Andy Georges, Lieven Eeckhout, Dries Buytaert	Java performance evaluation through rigorous replay compilation.	OOPSLA	2008	DBLP DOI BibTeX RDF	matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine
28	Muga Nishizawa, Shigeru Chiba	A small extension to Java for class refinement.	SAC	2008	DBLP DOI BibTeX RDF	class refinement, java, programming transformation
28	Yu Sun 0006, Wei Zhang 0002	Efficient code caching to improve performance and energy consumption for java applications.	CASES	2008	DBLP DOI BibTeX RDF	code caching, code generation, java virtual machine, instruction cache, JIT compiler
28	Norbert Markus, Zoltan Juhasz, Gábor Bognár, András Arató	How Can Java Be Made Blind-Friendly.	ICCHP	2008	DBLP DOI BibTeX RDF	Accessibility for the Blind, Education, Java programming
28	Tihomir Gvero, Milos Gligoric 0001, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
28	Kelvin Nilsen	Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality.	JTRES	2008	DBLP DOI BibTeX RDF	safety-critical certification, Java, real-time, threading, RTSJ
28	Venkatesh Prasad Ranganath, John Hatcliff	Slicing concurrent Java programs using Indus and Kaveri.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
28	Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek	A real-time Java virtual machine with applications in avionics.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
28	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
28	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
28	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
28	James Sasitorn, Robert Cartwright	Component nextgen: a sound and expressive component framework for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	custom class loader, first-class generics, java implementation, components, signatures, modules
28	Nattawut Sridranop, Ryan Stansifer	Higher-order functional programming and wildcards in java.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	java, generic, higher-order function, wildcards
28	Michael T. Helmick	Interface-based programming assignments and automatic grading of java programs.	ITiCSE	2007	DBLP DOI BibTeX RDF	java, interfaces, automated grading
28	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson 0001, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
28	Nghi Nguyen, Angel Dominguez, Rajeev Barua	Scratch-pad memory allocation without compiler support for java applications.	CASES	2007	DBLP DOI BibTeX RDF	java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad
28	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
28	Mohammed AlRahmawy, Andy J. Wellings	A model for real time mobility based on the RTSJ.	JTRES	2007	DBLP DOI BibTeX RDF	Java, distributed systems, mobility, real time, RTSJ
28	Wolfgang Puffitsch, Martin Schoeberl	picoJava-II in an FPGA.	JTRES	2007	DBLP DOI BibTeX RDF	FPGA, Java processor
28	James Mc Enery, David Hickey, Menouer Boubekeur	Empirical evaluation of two main-stream RTSJ implementations.	JTRES	2007	DBLP DOI BibTeX RDF	JamaicaVM, Java RTS, mackinac, RTSJ, embedded real-time systems, comparative evaluation
28	Gareth Baxter, Marcus R. Frean, James Noble 0001, Mark Rickerby, Hayden Smith, Matt Visser, Hayden Melton, Ewan D. Tempero	Understanding the shape of Java software.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java, object-oriented design, power-law distributions
28	Wlodzimierz Funika, Pawel Swierszcz	Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF	J-OMIS, J-OCM, Java, instrumentation, bytecode
28	Claude Marché, Nicolas Rousset	Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.	SEFM	2006	DBLP DOI BibTeX RDF	JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
28	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
28	Hong Zhang, Y. Daniel Liang	Undergraduate computer graphics using Java 3D.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	modeling, animation, transformation, rendering, texture mapping, graphics, view, geometry, lighting, scene graph, Java 3D
28	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
28	Eric S. Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin	The ACM java task force: status report.	SIGCSE	2005	DBLP DOI BibTeX RDF	Java, computer science education, CS1, teaching libraries
28	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
28	Guilhem Paroux, Bernard Toursel, Richard Olejnik, Violeta Felea	A Java CPU Calibration Tool for Load Balancing in Distributed Applications.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Load observation, Java, Calibration, Distributed applications, Network of workstations, CPU time
28	Walter Binder, Jarle Hulaas	Self-accounting as Principle for Portable CPU Control in Java.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, CPU accounting and control, Java, program transformations
28	Giovanni Lagorio	Another step towards a smart compilation manager for Java.	SAC	2004	DBLP DOI BibTeX RDF	Java, separate compilation
28	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit java array bounds checking on 64-bit architecture.	ICS	2004	DBLP DOI BibTeX RDF	java, virtual memory, array-bounds checking
28	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
28	Jozo J. Dujmovic, Carl Herder	Visualization of Java workloads using ternary diagrams.	WOSP	2004	DBLP DOI BibTeX RDF	JVM98, ternary diagrams, Java, visualization, software metrics, workload characterization
28	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
28	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.	OTM Workshops	2003	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java
28	Keitha A. Murray, Jesse M. Heines, Michael Kölling, Tom Moore, Paul J. Wagner, Nan C. Schaller, John A. Trono	Experiences with IDEs and Java teaching: what works and what doesn't.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, programming environments, pedagogy, IDEs
28	Eric Potratz	A practical comparison between Java and Ada in implementing a real-time embedded system.	SIGAda	2003	DBLP DOI BibTeX RDF	conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion
28	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001	Lightweight Transparent Java Thread Migration for Distributed JVM.	ICPP	2003	DBLP DOI BibTeX RDF	distributed JVM, Java thread migration, mobility, multi-threading, JIT compiler
28	Mihai Surdeanu, Dan I. Moldovan	Design and Performance Analysis of a Distributed Java Virtual Machine.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Object-oriented distributed shared memory, memory consistency protocols, performance analysis, Java Virtual Machine, consistency models
28	Christopher League, Zhong Shao, Valery Trifonov	Type-preserving compilation of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	object encodings, Java, type systems, typed intermediate languages
28	Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera	Lock reservation: Java locks can mostly do without atomic operations.	OOPSLA	2002	DBLP DOI BibTeX RDF	thread locality, Java, synchronization, monitor, lock, reservation, atomic operation
28	Johannes Martin, Hausi A. Müller	C to Java Migration Experiences.	CSMR	2002	DBLP DOI BibTeX RDF	source conversion, Java, C++, C, migration, transliteration
28	Anton Setzer	Java as a Functional Programming Language.	TYPES	2002	DBLP DOI BibTeX RDF	object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
28	Tomás Sysala, Jan Janecek	Optimizing Remote Method Invocation in Java.	DEXA Workshops	2002	DBLP DOI BibTeX RDF	Middleware communication, CORBA IIOP, effectiveness, asynchrony, Java RMI
28	Todd B. Knoblock, Jakob Rehof	Type elaboration and subtype completion for Java bytecode.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
28	Carlos Alonso Vega	Java and reports, some solutions for the past, present and future.	SIGUCCS	2001	DBLP DOI BibTeX RDF	information retrieval from mixed sources and technologies, Java, middleware, reporting
28	Marian Bubak, Wlodzimierz Funika, Piotr Metel, Rafal Orlowski, Roland Wismüller	Towards a Monitoring Interface Specification for Distributed Java Applications.	PPAM	2001	DBLP DOI BibTeX RDF	Java, distributed object system, monitoring system, monitoring interface
28	Tineke M. Egyedi	Why Java Was Not Standardized Twice.	HICSS	2001	DBLP DOI BibTeX RDF	de facto standard, compatibility strategies, JTC1, ECMA, technical compatibility, market coordination, Java
28	Christian Weidauer	Animations-Framework in Java, Systematische Animationsentwicklung mit Mehrschichtenarchitektur.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Mehrschichtenarchitektur, Entwurfsmuster, Java, Multimedia, Animation, Framework
28	Dahlia Malkhi, Michael K. Reiter	Secure Execution of Java Applets Using a Remote Playground.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	security, Java, mobile code, remote method invocation
28	Mirko Viroli, Antonio Natali	Parametric polymorphism in Java: an approach to translation based on reflective features.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
28	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
28	Charles E. McDowell, K. Shankari	Connecting Non-Java Devices to a Jini Network.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	RMI code download, Java, embedded systems, Jini
28	Dominic Duggan	Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
28	Anna Armentrout	A tool for designing Java programs with UML.	ITiCSE	1999	DBLP DOI BibTeX RDF	multimedia/interactive learning, Java, UML, object-oriented design, instructional technology
28	Reinaldo A. Bergamaschi, Brian M. Barry, John Duimovich	Embedded Java: techniques and applications (tutorial abstract).	ICCAD	1999	DBLP DOI BibTeX RDF	Java
28	Ramesh Radhakrishnan, Juan Rubio 0001, Lizy Kurian John	Characterization of Java Applications at Bytecode and Ultra-SPARC Machine Code Levels.	ICCD	1999	DBLP DOI BibTeX RDF	Java, Performance Analysis, benchmarking, bytecode
28	Henry G. Dietz	Heterogeneous Parallel Computing with Java: Jabber or Justified?	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	Heterogeneous Parallel Processing, Java, Semantics, Languages
28	Martin Büchi, Wolfgang Weck	Compound Types for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
28	Suad Alagic, Jose Solorzano, David Gitchell	Orthogonal to the Java Imperative.	ECOOP	1998	DBLP DOI BibTeX RDF	F-bounded polymorphism, Java Virtual Machine, Declarative languages, orthogonal persistence
28	Andrew Yang, James Linn, David Quadrato	Developing integrated Web and database applications using JAVA applets and JDBC drivers.	SIGCSE	1998	DBLP DOI BibTeX RDF	Java
28	David Cole, Roger L. Wainwright, Dale A. Schoenefeld	Using Java to develop Web based tutorials.	SIGCSE	1998	DBLP DOI BibTeX RDF	Java, Internet
28	Mark MacBeth, Keith McGuigan, Philip J. Hatcher	Executing Java threads in parallel in a distributed-memory environment.	CASCON	1998	DBLP BibTeX RDF	Java, C
28	Mark Allen Weiss	Experiences teaching data structures with Java.	SIGCSE	1997	DBLP DOI BibTeX RDF	Java
28	Jim Waldo	Using the Java Programming Environment to Build Collaborative Applications (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF	Java
28	Andreas Sterbenz	An Evaluation of the Java Security Model.	ACSAC	1996	DBLP DOI BibTeX RDF	Java security model, untrusted programs, secure environment, efficiency, flexibility, security of data
28	Yonghong Yan 0001, Max Grossman, Vivek Sarkar	JCUDA: A Programmer-Friendly Interface for Accelerating Java Programs with CUDA.	Euro-Par	2009	DBLP DOI BibTeX RDF
28	Praveen Sivadasan, P. Sojan Lal, Naveen Sivadasan	JDATATRANS for array obfuscation in Java source codes to defeat reverse engineering from decompiled codes.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	restructured arrays, source code obfuscation, reverse engineering
28	Sang Boem Lim, Han-Ku Lee, Bryan Carpenter, Geoffrey C. Fox	Runtime support for scalable programming in Java.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	HPJava, Parallel runtime library, mpiJava
28	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
28	Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad	A Modular Worst-case Execution Time Analysis Tool for Java Processors.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
28	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
28	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
28	Youngsun Han, Seokjoong Hwang, Seon Wook Kim	Jaguar: a compiler infrastructure for Java reconfigurable computing.	FPGA	2006	DBLP DOI BibTeX RDF
28	Ian Utting	Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME.	ITiCSE	2006	DBLP DOI BibTeX RDF	programming languages, introductory programming
28	Gilberto Contreras, Margaret Martonosi	Techniques for Real-System Characterization of Java Virtual Machine Energy and Power Behavior.	IISWC	2006	DBLP DOI BibTeX RDF
28	Youngsun Han, Shinyoung Kim, Hokwon Kim, Seokjoong Hwang, Seon Wook Kim	Code Generation and Optimization for Java-to-C Compilers.	EUC Workshops	2006	DBLP DOI BibTeX RDF
28	Chihang Yau, Yiyu Tan, Anthony S. Fong, Wing Shing Yu	Hardware Concurrent Garbage Collection for Short-Lived Objects in Mobile Java Devices.	EUC	2005	DBLP DOI BibTeX RDF
28	Lu Yan, Zheng Liang	Accelerating Java for Ubiquitous Devices.	CIT	2004	DBLP DOI BibTeX RDF
28	Engelbert Hubbers, Erik Poll	Reasoning about Card Tears and Transactions in Java Card.	FASE	2004	DBLP DOI BibTeX RDF
28	Cai Hong Zhang, Hung Keng Pung	The design and implementation of a Jini/Java-based A/V stream control and management.	Multim. Syst.	2003	DBLP DOI BibTeX RDF	Stream group, Multipoint-to-multipoint stream, Adaptor, Multicast, Distributed multimedia, Real-time streams
28	Bahador Ghahramani, Mark A. Pauley	Java in High-Performance Environments.	Computer	2003	DBLP DOI BibTeX RDF
28	Kathryn E. Gray, Matthew Flatt	ProfessorJ: a gradual introduction to Java through language levels.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF
28	K. Shiv, R. Iyer, C. Newburn, J. Dahlstedt, M. Lagergren, O. Lindholm	Impact of JIT/JVM Optimizations on Java Application Performance.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
28	Michael A. Frumkin, Matthew G. Schultz, Haoqiang Jin, Jerry C. Yan	Performance and Scalability of the NAS Parallel Benchmarks in Java.	IPDPS	2003	DBLP DOI BibTeX RDF
28	Kazuhide Fukushima, Kouichi Sakurai	A Software Fingerprinting Scheme for Java Using Classfiles Obfuscation.	WISA	2003	DBLP DOI BibTeX RDF
28	Suad Alagic, Jeremy Logan	Consistency of Java Transactions.	DBPL	2003	DBLP DOI BibTeX RDF
28	C. John Glossner, Michael J. Schulte, Stamatis Vassiliadis	A Java-Enabled DSP.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
28	Danny Weyns, Eddy Truyen, Pierre Verbaeten	Serialization of Distributed Execution-State in Java.	NetObjectDays	2002	DBLP DOI BibTeX RDF
28	Bálint Molnár, Imre Berényi, Bence Siklósi	Function Call Trap of Java Codes with the Help of AspectJ and XML.	CSMR	2002	DBLP DOI BibTeX RDF