Search results for "java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Philip Wadler	Faith, evolution, and programming languages: from Haskell to Java to links.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism
25	Patrick Th. Eugster	Uniform proxies for Java.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java, transformation, proxy, future
25	Jinzhan Peng, Guei-Yuan Lueh, Gansha Wu, Xiaogang Gou, Ryan N. Rakvic	A comprehensive study of hardware/software approaches to improve TLB performance for java applications on embedded systems.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	TLB performance, Java, embedded system
25	Ian M. Steiner, Yefim Shuf	A characterization of a java-based commercial workload on a high-end enterprise server.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	object co-allocation, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
25	Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, Jong Kuk Park	Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
25	Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo 0001	Failure classification and analysis of the Java Virtual Machine.	ICDCS	2006	DBLP DOI BibTeX RDF	Dependability, Java Virtual Machine, Failure Analysis, Failure Diagnosis
25	Zheng Yuan, Qiaoyan Wen, Wenling Wu, Qing Zhang	An ID-Based Watermarking Scheme for Java Programs.	EUC Workshops	2006	DBLP DOI BibTeX RDF	watermarked opaque predicates, Java programs, ID, aggregate signature, watermarking scheme
25	Yudith Cardinale, Jesús De Oliveira, Carlos Figueira	Remote Class Prefetching: Improving Performance of Java Applications on Grid Platforms.	ISPA	2006	DBLP DOI BibTeX RDF	Class prefetching, Distributed applications, Computational Grids, Collaborative platforms, Java applications
25	Dayong Gu, Clark Verbrugge, Etienne M. Gagnon	Relative factors in performance analysis of Java virtual machines.	VEE	2006	DBLP DOI BibTeX RDF	Java, performance analysis, caches, garbage collection, hardware counters
25	Hong Zhu, Zhaolin Yin, Ying Ding	Java Annotated Concurrency Based on the Concurrent Package.	PDCAT	2006	DBLP DOI BibTeX RDF	JAC, concurrent package, Java, improvement
25	Joan Esteve Riasol, Fatos Xhafa	Juxta-Cat: a JXTA-based platform for distributed computing.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
25	Marc Beyerle, Joachim Franz, Wilhelm G. Spruth	Persistent Reusable Java Virtual Machine unter z/OS und Linux.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	ACID, Persistent Reusable Java Virtual Machine, PRJVM, OS/390, Serial Reusability, zLinux, z/OS, zSeries, Transaction, JVM, IMS, J2EE, DB2, EJB, WebSphere, CICS
25	Christopher J. F. Pickett, Clark Verbrugge	SableSpMT: a software framework for analysing speculative multithreading in Java.	PASTE	2005	DBLP DOI BibTeX RDF	static and dynamic analysis, java, virtual machines, profiling, thread level speculation, speculative multithreading
25	Adam Welc, Suresh Jagannathan, Antony L. Hosking	Safe futures for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, concurrency, safety, futures
25	Uwe Brinkschulte, Mathias Pacher	Implementing Control Algorithms Within a Multithreaded Java Microcontroller.	ARCS	2005	DBLP DOI BibTeX RDF	Komodo microcontroller, multithreaded Java microcontroller, GP scheduling, IPC rate, PID controller
25	Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine	JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications.	eTX	2005	DBLP DOI BibTeX RDF	memory management, real-time java, Eclipse plug-in
25	Guangyu Chen, Mahmut T. Kandemir	Verifiable annotations for embedded java environments.	CASES	2005	DBLP DOI BibTeX RDF	verification, annotation, java virtual machine, just-in-time compilation, flow analysis
25	Sergey V. Polyakov, Assaf Schuster	Verification of the Java Causality Requirements.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF	Java, Verification, Complexity, Concurrency, Shared Memory, Multithreading, Memory Model
25	Chang-Moon Hyun	Parallel and Distributed Components with Java.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	Shared Distributed Memory, Distributed Systems, Java RMI, Distributed Component
25	Guangyu Chen, Mahmut T. Kandemir, Mary Jane Irwin	Exploiting frequent field values in java objects for reducing heap memory requirements.	VEE	2005	DBLP DOI BibTeX RDF	frequent field value, garbage collection, Java virtual machine, heap
25	M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Frédéric Parain	Memory Management for Real-Time Java: An Efficient Solution using Hardware Support.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	Java, performance, real-time, embedded, garbage collection, write barriers, memory regions
25	Dries Buytaert, Andy Georges, Lieven Eeckhout, Koen De Bosschere	Bottleneck analysis in java applications using hardware performance monitors.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	phase behavior, java, performance analysis, profiling
25	Davide Ancona, Elena Zucca	Principal typings for Java-like languages.	POPL	2004	DBLP DOI BibTeX RDF	Java-like languages, selective recompilation, principal typings
25	Ildeberto Aparecido Rodello, José Remo Ferreira Brega, Antonio Carlos Sementille, Fátima L. S. Nunes Marques	JVRMol: a low cost java-based distributed virtual environment for protein molecule analysis and visualization.	VRCAI	2004	DBLP DOI BibTeX RDF	protein analysis and visualization, Java, distributed virtual environments
25	Wlodzimierz Funika, Marian Bubak, Marcin Smetek	Monitoring System for Distributed Java Applications.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Java, tools, distributed object system, monitoring system, OMIS, monitoring interface
25	Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott	Testing of java web services for robustness.	ISSTA	2004	DBLP DOI BibTeX RDF	def-use testing, test coverage metrics, java, exceptions
25	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Embedding JAAS in agent roles to apply local security policies.	PPPJ	2004	DBLP DOI BibTeX RDF	Java agents, local policies, authentication, roles
25	Jonathan L. Schilling	The simplest heuristics may be the best in Java JIT compilers.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	selective compilation, Java, performance, heuristics, just-in-time compiler, JIT
25	Jauvane C. de Oliveira, Mojtaba Hosseini, Shervin Shirmohammadi, François Malric, Saeid Nourian, Abdulmotaleb El-Saddik, Nicolas D. Georganas	Java Multimedia Telecollaboration.	IEEE Multim.	2003	DBLP DOI BibTeX RDF	H263, jStreaming, JASBER, JASMINE, Shared Applets, Java, Collaboration, Multimedia, CSCW, Video Streaming, MPEG4, JETS
25	Robert F. Stärk, Joachim Schmid 0001	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, bytecode verification, certifying compilation
25	Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen	Compiling java for low-end embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	Java, embedded systems, compilers, interfaces
25	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Gain Time Reclaiming in High Performance Real-Time Java Systems.	ISORC	2003	DBLP DOI BibTeX RDF	Gain Time Reclaiming, Worst-Case Execution Time (WCET) Analysis, Real-Time Java
25	Marian Bubak, Wlodzimierz Funika, Marcin Smetek, Zbigniew Kilianski, Roland Wismüller	Architecture of Monitoring System for Distributed Java Applications.	PVM/MPI	2003	DBLP DOI BibTeX RDF	Java, tools, distributed object system, monitoring system, OMIS, monitoring interface
25	Ariel Ortiz	Preparing undergraduate students for Java certification.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	SCJP, Java, certification
25	Sam Kamin, Lars Clausen, Ava Jarvis	Jumbo: Run-Time Code Generation for Java and Its Applications.	CGO	2003	DBLP DOI BibTeX RDF	Java, run-time code generation
25	Jun Pang 0001, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema	Model Checking a Cache Coherence Protocol for a Java DSM Implementation.	IPDPS	2003	DBLP DOI BibTeX RDF	µCRL, Java, model checking, distributed shared memory, cache coherence protocols
25	Petr Hnetynka, Petr Tuma 0001	Fighting Class Name Clashes in Java Component Systems.	JMLC	2003	DBLP DOI BibTeX RDF	name clashes, Java, components, interfaces, versioning, classes
25	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.	RTCSA	2003	DBLP DOI BibTeX RDF	Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems
25	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
25	Larry Koved, Marco Pistoia, Aaron Kershenbaum	Access rights analysis for Java.	OOPSLA	2002	DBLP DOI BibTeX RDF	Java security, invocation graph, security, data flow analysis, call graph, access rights
25	Stuart Reges	Can C# replace java in CS1 and CS2?	ITiCSE	2002	DBLP DOI BibTeX RDF	Java, object oriented programming, CS1, CS2, C#
25	Wolfgang Schreiner	A java toolkit for teaching distributed algorithms.	ITiCSE	2002	DBLP DOI BibTeX RDF	Java, visualization, distributed computing, message passing, assertions, applets
25	Serge Chaumette, Pascal Grange	Parallelizing Multithreaded Java Program: A Criterion and Its p-Calculus Foundation.	IPDPS	2002	DBLP DOI BibTeX RDF	parallelization criterion, Java, pi-calculus, active objects, automatic distribution
25	Holger Blaar, Matthias Legeler, Thomas Rauber	Efficiency of Thread-Parallel Java Programs from Scientific Computing.	IPDPS	2002	DBLP DOI BibTeX RDF	Thread-parallelism, Java, Scientific Computing, Thread scheduling, Thread synchronization
25	Hsin-Ta Chiao, Chun-Han Lin, Kai-Chih Liang, Shyan-Ming Yuan	The Experience of Using Java-Based Message-Oriented Middleware to Build a Distributed Training Simulator.	DEXA Workshops	2002	DBLP DOI BibTeX RDF	JavaTM, distributed training simulator, surface-to-air missile system, IP multicast, message-oriented middleware, Java message service (JMS)
25	Richard Olejnik, Amer Bouchi, Bernard Toursel	An Object Observation for a Java Adaptative Distributed Application Platform.	PARELEC	2002	DBLP DOI BibTeX RDF	Java Computing, Object Observation, Meta and global computing
25	Gleb Naumovich	A conservative algorithm for computing the flow of permissions in Java programs.	ISSTA	2002	DBLP DOI BibTeX RDF	security, java, verification, static analysis, data flow analysis
25	Marcel Harkema, Dick A. C. Quartel, Bart Gijsen, Robert D. van der Mei	Performance monitoring of java applications.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance measurement and monitoring of java applications
25	Hiroyuki Tomimori, Yukikazu Nakamoto	An Efficient and Flexible Access Control Framework for Java Programs in Mobile Terminals.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	server authentication, Java, mobile terminal, security domain
25	Volker Roth 0002, Vania Conan	Encrypting Java Archives and Its Application to Mobile Agent Security.	AgentLink	2001	DBLP DOI BibTeX RDF	Java Archives, encryption, mobile agent security, malicious hosts
25	M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Gilbert Cabillic, Jean-Philippe Lesot, Frédéric Parain	Region-Based Memory Management for Real-Time Java.	ISORC	2001	DBLP DOI BibTeX RDF	Java, Performance, Real-Time, Embedded, Garbage Collection, Write Barriers, Memory Regions
25	Thomas Studer	Constructive Foundations for Featherweight Java.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	reasoning about programs, explicit mathematics, object-oriented programming, denotational semantics, Featherweight Java
25	Edgar R. Weippl	Building secure knowledge bases: combining Java agents and DBagents.	Agents	2001	DBLP DOI BibTeX RDF	Java, mobile agents, database management systems, data warehouse
25	Yajun Ha, Geert Vanmeerbeeck, Patrick Schaumont, Serge Vernalde, Marc Engels, Rudy Lauwereins, Hugo De Man	Virtual Java/FPGA interface for networked reconfiguration.	ASP-DAC	2001	DBLP DOI BibTeX RDF	Java
25	Richard Rasala, Jeff Raab, Viera K. Proulx	Java power tools: model software for teaching object-oriented design.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
25	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
25	Zhenyu Qian	Standard fixpoint iteration for Java bytecode verification.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Java, dataflow analysis, bytecode verification, fixpoint
25	Gerasimos Xydas, Jérôme Tassel	Experimentation in CPU Control with Real-Time Java.	ISORC	2000	DBLP DOI BibTeX RDF	host resource manager, QoS, worst case execution time, streaming media, real-time Java, CPU, end-to-end, rate-monotonic
25	E. Douglas Jensen	A Proposed Initial Approach to Distributed Real-Time Java.	ISORC	2000	DBLP DOI BibTeX RDF	Java, distributed system, real-time, object, remote method invocation
25	Karim Sbata, Pierre Vincent	Development of Internet Services Based on Pure JAVA Technology.	INTERWORKING	2000	DBLP DOI BibTeX RDF	Hyper-Media, Multi-Pointing Architecture, Multi-Terminals Clients, JAVA Technology, Application Server, Multi-Media
25	Jin-Soo Kim, Yarsun Hsu	Memory system behavior of Java programs: methodology and analysis.	SIGMETRICS	2000	DBLP DOI BibTeX RDF	Java
25	Kenneth A. Hawick, Heath A. James	A Java-Based Parallel Programming Support Environment.	HPCN	2000	DBLP DOI BibTeX RDF	multi-paradigm support, Java, Message passing, programming environments, metacomputing
25	Tien-Yan Ma, Ting-Wei Hou	Implementing FISC IC Card Specification and Developing Health Care Application Using Java Card.	ISMSE	2000	DBLP DOI BibTeX RDF	financial information system, Smart card, Java card, health information system
25	Judith Bishop, Nigel Bishop	Object-orientation in Java for scientific programmers.	SIGCSE	2000	DBLP DOI BibTeX RDF	Java
25	Kenneth B. Kent, Micaela Serra	Hardware/Software Co-Design of a Java Virtual Machine.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	fpga, partitioning, reconfigurable, java virtual machine, co-design
25	Dirk Balfanz, Drew Dean, Mike Spreitzer	A Security Infrastructure for Distributed Java Applications.	S&P	2000	DBLP DOI BibTeX RDF	Access Control Logics, Security, Java, Access Control, Distributed Computing
25	Elliot B. Koffman, Ursula Wolz	CS1 using Java language features gently.	ITiCSE	1999	DBLP DOI BibTeX RDF	Java, user interface, interactivity, programming, CS1, graphics
25	Kivanc Dincer	Ubiquitous Message Passing Interface Implementation in Java: jmpi.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF	JPVM, Java, MPI
25	Christopher H. Nevison	Seminar: safe concurrent programming in Java with CSP.	SIGCSE	1999	DBLP DOI BibTeX RDF	Java, CSP, concurrent programming, threads
25	Gil Seong Na, Sang Ho Lee	Interoperability of Event Service in Java ORB Environment.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Java ORB, Event service, Push technology
25	Vassilis Konstantinou, Alexandra Psarrou	A Dynamic JAVA-Based Intelligent Interface for Online Image Database Searches.	VISUAL	1999	DBLP DOI BibTeX RDF	Java Interfaces, Multimedia, Digital libraries, Distributed Databases, Content-based indexing/retrieval
25	Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001	Synchronizing Java Threads Using Assertions.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Java, Concurrency, Synchronization, Object-Oriented, Assertions
25	Salam Majoul, Christian Percebois, Jean-Paul Bodeveix	A Concurrent Object-Based Model and its Use for Coordinating Java Components.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Java, object-oriented programming, coordination, implementation, event, rewriting, software bus
25	Lukito Edi Nugroho, A. S. M. Sajeev	Java4P: Java with High-Level Concurrency Constructs.	ISPAN	1999	DBLP DOI BibTeX RDF	Java, synchronisation, threads, Concurrent object-oriented programming, guards
25	Marcus Oestreicher	Transactions in Java Card.	ACSAC	1999	DBLP DOI BibTeX RDF	Transactions, Smartcard, Java Card
25	Godmar Back, Wilson C. Hsieh	Drawing the Red Line in Java.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	red line, kernel structure, Java, termination, sharing, type safety, resource control
25	Thierry Millan, Myriam Lamolle, Frédéric Mulatero	An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System
25	Fred G. Gustavson, José E. Moreira, Robert F. Enenkel	The fused multiply-add instruction leads to algorithms for extended-precision floating point: applications to java and high-performance computing.	CASCON	1999	DBLP BibTeX RDF	Java
25	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan	Soot - a Java bytecode optimization framework.	CASCON	1999	DBLP BibTeX RDF	Java
25	Charles C. Weems	Heterogeneous Programming with Java: Gourmet Blend or Just a Hill of Beans?	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	heterogeneous processing, Java, parallel processing, programming language
25	Bart Jacobs 0001, Joachim van den Berg, Marieke Huisman, Martijn van Berkum	Reasoning about Java Classes (Preliminary Report).	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
25	Sophia Drossopoulou, David Wragg, Susan Eisenbach	What is Java Binary Compatibility?	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
25	Andreas Pfitzmann, Alexander Schill, Andreas Westfeld, Guntram Wicke, Gritta Wolf, Jan Zöllner 0002	A Java-Based Distributed Platform for Multilateral Security.	Trends in Distributed Systems for Electronic Commerce	1998	DBLP DOI BibTeX RDF	Multilateral security, distributed platforms, teleshopping, distributed applications, Java RMI
25	Seth J. White, R. G. G. Cattell, Sheldon J. Finkelstein	Enterprise Java Platform Data Access.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF	Java
25	Nick Benton, Andrew Kennedy, George Russell	Compiling Standard ML to Java Bytecodes.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language, Java
25	Stephen J. Hartley	"Alfonse, your Java is ready!".	SIGCSE	1998	DBLP DOI BibTeX RDF	Java
25	James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton	Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.	DAC	1998	DBLP DOI BibTeX RDF	Java
25	Zhaoxia Huang, Shengxi Zhou, Shengru Tu	Java Communication Interfaces for Control Systems.	COMPSAC	1997	DBLP DOI BibTeX RDF	distributed programming, Java programming, communication interfaces
25	Hiroshi Inoue, Toshio Nakatani	How a Java VM can get more from a hardware performance monitor.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, hardware performance monitor, calling context
25	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
25	Alfredo Pironti 0001, Riccardo Sisto	Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code.	HASE	2008	DBLP DOI BibTeX RDF
25	Wojciech Mostowski, Erik Poll	Malicious Code on Java Card Smartcards: Attacks and Countermeasures.	CARDIS	2008	DBLP DOI BibTeX RDF
25	Yu Sheng, Weiping Wang 0003, Jianxin Wang 0001, Jianer Chen	A Virtual Laboratory Platform Based on Integration of Java and Matlab.	ICWL	2008	DBLP DOI BibTeX RDF
25	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
25	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
25	Nicholas Cameron 0001, Sophia Drossopoulou, Erik Ernst	A Model for Java with Wildcards.	ECOOP	2008	DBLP DOI BibTeX RDF
25	Hao Liu, Yuan Hong, Hongwei Hao, Chengyao Wang	Kernel: A RDB-Based Object Persistence Component Set for Java.	CSSE (2)	2008	DBLP DOI BibTeX RDF
25	Daniel Tejera, Alejandro Alonso 0001, Miguel A. de Miguel	Predictable Serialization in Java.	ISORC	2007	DBLP DOI BibTeX RDF
25	Mike Fulton, Mark G. Stoodley	Compilation Techniques for Real-Time Java Programs.	CGO	2007	DBLP DOI BibTeX RDF
25	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	Tracking Linear and Affine Resources with Java(X).	ECOOP	2007	DBLP DOI BibTeX RDF