Search results for "Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Patrice Chalin, Perry R. James, George Karabotsos	An integrated verification environment for JML: architecture and early results.	SAVCBS	2007	DBLP DOI BibTeX RDF	JML4, integrated verification environment, Eclipse, java modeling language
24	Andreas Rasche, Marco Puhlmann, Andreas Polze	Heterogeneous Adaptive Component-Based Applications with Adaptive.Net.	ISORC	2005	DBLP DOI BibTeX RDF	Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET
24	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
24	Nikunja Swain, Mrutyunjaya Swain	Design and development of computer networking modules using virtual instruments and object oriented programming.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table
24	Richard L. Drechsler, John M. Mocenigo	The Yoix Scripting Language as a Tool for Building Web-Based Systems.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java, web applications, scripting language, application development
24	Jason Baker, Wilson C. Hsieh	Runtime aspect weaving through metaprogramming.	AOSD	2002	DBLP DOI BibTeX RDF	Java
24	Jens H. Jahnke, Jörg Niere, Jörg P. Wadsack	Automated Quality Analysis of Component Software for Embedded Systems.	IWPC	2000	DBLP DOI BibTeX RDF	graph rewrite rules, Java, embedded systems, smart cards, quality assurance, pattern detection
24	Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
24	Chihang Yau, Yiyu Tan, Anthony S. Fong	A Novel Just-In-Time Compiler on an Embedded Object-Oriented Processor.	CIT	2005	DBLP DOI BibTeX RDF
24	Eva Rose	Lightweight Bytecode Verification.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	data flow analysis, proof-carrying code, bytecode verification
24	Emmanuel Cecchet, Anupam Chanda, Sameh Elnikety, Julie Marguerite, Willy Zwaenepoel	Performance Comparison of Middleware Architectures for Generating Dynamic Web Content.	Middleware	2003	DBLP DOI BibTeX RDF
23	Francisco Esquembre	There Is Parallel Life for Java Scientific Programmers! [reviews of "Building Parallel Programs: SMPs, Clusters, and Java" (Kaminsky, A; 2010) and "Introductory Biophysics" (Claycomb, J. and Tran, J.Q.P.; 2010) [Book review].	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	biophysics, Java, education, Parallel programming, scientific computing, computational science, engineering
23	Gregor Wagner, Andreas Gal, Michael Franz	Slim VM: optimistic partial program loading for connected embedded Java virtual machines.	PPPJ	2008	DBLP DOI BibTeX RDF	cold code removal, embedded connected devices, Java virtual machine, just-in-time compilation
23	Yuji Chiba	Redundant boxing elimination by a dynamic compiler for Java.	PPPJ	2007	DBLP DOI BibTeX RDF	auto-boxing, Java, optimization
23	Andrew Hughes	A framework for mobile Java applications.	PPPJ	2007	DBLP DOI BibTeX RDF	TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus
23	Thomas Preußer, Martin Zabel, Rainer G. Spallek	Bump-pointer method caching for embedded Java processors.	JTRES	2007	DBLP DOI BibTeX RDF	method cache, Java
23	Colin Depradine, Julian Arthur	A tool for incorporating unit testing into a Java programming curriculum.	PPPJ	2004	DBLP DOI BibTeX RDF	Java, frameworks, unit testing
23	Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron	Bigram analysis of Java bytecode sequences.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
23	Scott Malabarba, Premkumar T. Devanbu, Aaron Stearns	MoHCA-Java: A Tool for C++ to Java Conversion Support.	ICSE	1999	DBLP DOI BibTeX RDF	Java, C++
23	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
23	Hartmut Schorrig, Thomas Henties	Java2C - developing in Java, deployment in C: short paper.	JTRES	2010	DBLP DOI BibTeX RDF
23	Anders P. Ravn, Martin Schoeberl	Cyclic executive for safety-critical Java on chip-multiprocessors.	JTRES	2010	DBLP DOI BibTeX RDF
23	Oscar R. Polo, Kristof Konings, Pablo Parra, Martin Knoblauch, Ignacio García, Sebastián Sánchez-Prieto	Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper.	JTRES	2010	DBLP DOI BibTeX RDF	software engineering, real-time systems
23	Philip Hanna 0001, Ian M. O'Neill, Darryl Stewart, Behrang QasemiZadeh	Development of a Java-based unified and flexible natural language discourse system.	PPPJ	2009	DBLP DOI BibTeX RDF	human computer interaction, spoken dialogue systems, dialogue management
23	Viera K. Proulx, Weston Jossey	Unit test support for Java via reflection and annotations.	PPPJ	2009	DBLP DOI BibTeX RDF	design, testing, CS1/2
23	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
23	Lei Zhao, Daniel Tang, Jan Vitek	A technology compatibility kit for safety critical Java.	JTRES	2009	DBLP DOI BibTeX RDF
23	Ewan D. Tempero, James Noble 0001, Hayden Melton	How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software.	ECOOP	2008	DBLP DOI BibTeX RDF
23	Gilles Barthe, Benjamin Grégoire, Mariela Pavlova	Preservation of Proof Obligations from Java to the Java Virtual Machine.	IJCAR	2008	DBLP DOI BibTeX RDF
23	Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi	FSMC+, a tool for the generation of Java code from statecharts.	PPPJ	2007	DBLP DOI BibTeX RDF	evoting, model checking, code generation, statecharts
23	Robert P. Cook	The design of a Java phone programming environment.	PPPJ	2007	DBLP DOI BibTeX RDF	M microApps, speed-dial programming, scripting language, phones
23	Kevin J. Hoffman, Patrick Eugster	Bridging Java and AspectJ through explicit join points.	PPPJ	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, join point
23	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Investigating throughput degradation behavior of Java application servers: a view from inside a virtual machine.	PPPJ	2006	DBLP DOI BibTeX RDF	throughput, garbage collection, application servers
23	Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz	Propagation of JML non-null annotations in Java programs.	PPPJ	2006	DBLP DOI BibTeX RDF
23	Yuji Chiba	Heap protection for Java virtual machines.	PPPJ	2006	DBLP DOI BibTeX RDF
23	Alan Jeffrey, Julian Rathke	Java Jr: Fully Abstract Trace Semantics for a Core Java Language.	ESOP	2005	DBLP DOI BibTeX RDF
23	Priya Nagpurkar, Chandra Krintz	Visualization and analysis of phased behavior in Java programs.	PPPJ	2004	DBLP DOI BibTeX RDF
23	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	MailConfigurator: automatic configuration of e-mail accounts through Java mobile agents.	PPPJ	2004	DBLP BibTeX RDF
23	Áine Mitchell, James F. Power	An empirical investigation into the dimensions of run-time coupling in Java programs.	PPPJ	2004	DBLP DOI BibTeX RDF
23	Jean-Marc Seigneur, Gregory Biegel, Christian Damsgaard Jensen	P2P with JXTA-Java pipes.	PPPJ	2003	DBLP DOI BibTeX RDF
23	Friedrich Steimann, Wolf Siberski, Thomas Kühne 0001	Towards the systematic use of interfaces in JAVA programming.	PPPJ	2003	DBLP DOI BibTeX RDF
23	Daniele Denaro, Franco Rubinacci	Neural networks library in Java™: a proposal for network intelligent agents.	PPPJ	2003	DBLP DOI BibTeX RDF	intelligent agents, neural nets, knowledge structure
23	J. Paul Gibson	A noughts and crosses Java applet to teach programming to primary school children.	PPPJ	2003	DBLP BibTeX RDF
23	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
23	Santi Caballé, Fatos Xhafa	A study into the feasibility of generic programming in Java.	PPPJ	2003	DBLP BibTeX RDF
23	Sergio Rajsbaum, Elisa Viso	A case for OO -- Java -- in teaching algorithm analysis.	PPPJ	2003	DBLP DOI BibTeX RDF
23	Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien	No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs.	ASE	2002	DBLP DOI BibTeX RDF
23	Lorenzo Bettini, Rocco De Nicola	A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces.	FIDJI	2002	DBLP DOI BibTeX RDF
23	Ronald Veldema, Thilo Kielmann, Henri E. Bal	Optimizing Java-Specific Overheads: Java at the Speed of C?	HPCN	2001	DBLP DOI BibTeX RDF
23	Arutyun Avetisyan, Serguei Gaissaryan, Oleg I. Samovarov	Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs.	PaCT	2001	DBLP DOI BibTeX RDF
22	Guang Hu, ZhiLei Chai, Wenke Zhao, Shi-liang Tu	Towards Garbage Collection Mechanism for RTSJ-Oriented Embedded Java Processor.	CIT	2010	DBLP DOI BibTeX RDF	embeeded, garbage collection, real-time Java, Java processor
22	Jason Howarth, Irfan Altas, Barney Dalgarno	Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI).	ARES	2010	DBLP DOI BibTeX RDF	dynamic flow control, indirect information flow, Java Virtual Machine Tool Interface (JVMTI), Java, Information flow control, non-interference
22	Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner	Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.	SSIRI	2009	DBLP DOI BibTeX RDF	Anti-Tearing, Transaction Mechanism, Java Annotations, Java Card
22	Delin Hou, Huosong Xia	Design of Distributed Architecture Based on Java Remote Method Invocation Technology.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	java, distributed architecture, javabeans, remote method invocation, enterprise java bean
22	Daniel M. Zimmerman, Joseph R. Kiniry	A Verification-Centric Software Development Process for Java.	QSIC	2009	DBLP DOI BibTeX RDF	Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language
22	Byeong-Mo Chang	Static check analysis for Java stack inspection.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	security, Java, Java, static analysis, stack inspection
22	R. M. Muthukumar, D. Janakiram	Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	on-the-fly garbage collection, Java, programming languages, Garbage collection, memory management, Java virtual machine
22	Sally H. Moritz, Glenn D. Blank	A design-first curriculum for teaching Java in a CS1 course.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	Java, Java, object-oriented, pedagogy, objects-first, CSI
22	Kevin R. Burger	Teaching two-dimensional array concepts in Java with image processing examples.	SIGCSE	2003	DBLP DOI BibTeX RDF	Java image I/O API, Peda-gogy, teaching exercises, Java, image processing, CS1, CS2, two-dimensional arrays
22	Z. He, David W. Bustard, X. Liu	Software internationalisation and localisation: practice and evolution.	PPPJ/IRE	2002	DBLP BibTeX RDF	internationalisation (I18N), localisation (I13N), Java, Java, programming
22	Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe	Interprocedural exception analysis for Java.	SAC	2001	DBLP DOI BibTeX RDF	uncaught exception analysis, Java, Java, set-based analysis, class analysis
22	Manfred Hauswirth, Clemens Kerer, Roman Kurmanowytsch	A secure execution framework for Java.	CCS	2000	DBLP DOI BibTeX RDF	Java security management, XML-based security configuration, management GUIs, Java, XML
22	Ann C. Smith, Joan M. Francioni, Sam D. Matzek	A Java programming tool for students with visual disabilities.	ASSETS	2000	DBLP DOI BibTeX RDF	learning to program, students with visual disabilities, Java, Java, programming tool
22	Dionisio de Niz, Ragunathan Rajkumar	Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	Resource Kernel, RTJS, Hartstone, Java, Real-Time, Benchmark, Real-Time Java, Windows NT, Priority Inheritance
22	Robert O'Callahn	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	POPL	1999	DBLP DOI BibTeX RDF	polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode
22	Gleb Naumovich, George S. Avrunin, Lori A. Clarke	Data Flow Analysis for Checking Properties of Concurrent Java Programs.	ICSE	1999	DBLP DOI BibTeX RDF	Java, Java, concurrency, static analysis, data flow
22	Allen Goldberg	A Specification of Java Loading and Bytecode Verification.	CCS	1998	DBLP DOI BibTeX RDF	Java, Java, formal specification, flow analysis, bytecode verification
22	Yoav Tzruya, Mordechai Ben-Ari	A Portable Implementation of the Distributed Systems Annex in Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, distributed systems, Ada, Ada95
22	Benjamin M. Brosgol	A Comparison of the Concurrency Features of Ada 95 and Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly
22	Will Tracz	Developing Reusable Java Components.	SSR	1997	DBLP DOI BibTeX RDF	Java, Java, distributed computing, software reuse, web-based applications
22	James Begole, Craig A. Struble, Clifford A. Shaffer, Randall B. Smith	Transparent Sharing of Java Applets: A Replicated Approach.	ACM Symposium on User Interface Software and Technology	1997	DBLP DOI BibTeX RDF	Java, Java, World Wide Web (WWW), computer-supported cooperative work, groupware, collaboration transparancy
22	Anthony I. Wasserman	Java Development Environments (Panel).	ICSE	1997	DBLP DOI BibTeX RDF	programming enviroments, Java, Java, compilers, interpreters, end-user programming
22	Dong-Heon Jung, Soo-Mook Moon, Hyeong-Seok Oh	Hybrid Java compilation and optimization for digital TV software platform.	CGO	2010	DBLP DOI BibTeX RDF	ahead-of-time compiler, digital TV java, idle-time compiler, xlets, just-in-time compiler
22	James T. Streib, Takako Soma	Using contour diagrams and JIVE to illustrate object-oriented semantics in the Java programming language.	SIGCSE	2010	DBLP DOI BibTeX RDF	contour diagrams, jive, object-oriented semantics, java
22	Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam 0001	Role-based access control (RBAC) in Java via proxy objects using annotations.	SACMAT	2010	DBLP DOI BibTeX RDF	proxy objects, java, access control, RBAC, rmi
22	Edwin M. Westbrook, Mathias Ricken, Jun Inoue 0001, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
22	Tor-Morten Grønli, Jarle Hansen, Gheorghita Ghinea	Android vs Windows Mobile vs Java ME: a comparative study of mobile development environments.	PETRA	2010	DBLP DOI BibTeX RDF	Windows Mobile, mobile development environment, programming languages, Android, Java ME
22	Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret	Rapid development of extensible profilers for the Java virtual machine with aspect-oriented programming.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	java, concurrency, aspect-oriented programming, profiling, bytecode instrumentation, calling context tree
22	Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan	An optimized change-driven regression testing selection strategy for binary Java applications.	SAC	2009	DBLP DOI BibTeX RDF	binary Java application, test case prioritization, regression testing selection
22	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
22	Markus M. Geipel, Frank Schweitzer	Software change dynamics: evidence from 35 java projects.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	java, dependency, change propagation
22	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
22	William C. Benton, Charles N. Fischer	Mostly-Functional Behavior in Java Programs.	VMCAI	2009	DBLP DOI BibTeX RDF	Java, Program Analysis, Type-and-effect Systems
22	Alan Leung, Ondrej Lhoták, Ghulam Lashari	Automatic parallelization for graphics processing units.	PPPJ	2009	DBLP DOI BibTeX RDF	Java
22	Jules White, Douglas C. Schmidt, Aniruddha S. Gokhale	Simplifying autonomic enterprise Java Bean applications via model-driven engineering and simulation.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Autonomic Computing, Model-Driven Engineering, Enterprise Java Beans
22	Luigi Liquori, Arnaud Spiwack	FeatherTrait: A modest extension of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java, inheritance, language design, language semantics
22	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek	Flexible task graphs: a unified restricted thread programming model for java.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, ownership types
22	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
22	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
22	Christian Hütter 0001, Thomas Moschny	Runtime Locality Optimizations of Distributed Java Applications.	PDP	2008	DBLP DOI BibTeX RDF	dynamic locality optimization, distributed Java applications, runtime performance measurement, cluster
22	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	scheduling, java, operating systems
22	Samia Bouzefrane 0001, Julien Cordry, Hervé Meunier, Pierre Paradinas	Evaluation of Java Card Performance.	CARDIS	2008	DBLP DOI BibTeX RDF	Performance, Test, Benchmark, Java Card
22	Merlin Suarez, Raymund Sison	Automatic Construction of a Bug Library for Object-Oriented Novice Java Programmer Errors.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	automatic bug library construction, Java errors, object-oriented programming, multistrategy learning
22	Sven Apel, Christian Kästner, Christian Lengauer	Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.	GPCE	2008	DBLP DOI BibTeX RDF	safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
22	Irene Luque Ruiz, Miguel Ángel Gómez-Nieto	A Java Tool for the Management of Chemical Databases and Similarity Analysis Based on Molecular Graphs Isomorphism.	ICCS (2)	2008	DBLP DOI BibTeX RDF	similarity and diversity analysis, chemical database management, Java, matching, isomorphism, Computational chemistry
22	Holger Schmidt 0002, Andreas Köhrer, Franz J. Hauck	SoapME: a lightweight Java ME web service container.	MW4SOC	2008	DBLP DOI BibTeX RDF	web services, SOAP, Java ME
22	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
22	Takashi Okumura, Bruce R. Childers, Daniel Mossé	Running a Java VM inside an operating system kernel.	VEE	2008	DBLP DOI BibTeX RDF	kernel extensibility, network management, Java virtual machine, just-in-time
22	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
22	Nicolas Geoffray, Gaël Thomas 0001, Charles Clément, Bertil Folliot	A lazy developer approach: building a JVM with third party software.	PPPJ	2008	DBLP DOI BibTeX RDF	BoehmGC, GNU classpath, JnJVM, Java, LLVM