<--- Back to Details
First PageDocument Content
Threads / Programming language implementation / Parallel computing / Concurrency control / Thread-local storage / Java bytecode / Speculative multithreading / Java virtual machine / Java / Computing / Computer architecture / Cross-platform software
Date: 2010-01-11 10:16:12
Threads
Programming language implementation
Parallel computing
Concurrency control
Thread-local storage
Java bytecode
Speculative multithreading
Java virtual machine
Java
Computing
Computer architecture
Cross-platform software

Add to Reading List

Source URL: www.sable.mcgill.ca

Download Document from Source Website

File Size: 336,96 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Concurrent programming languages / High-level programming languages / Type theory / Programming languages / Program analysis / Java virtual machine / Type system / Go / Java

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

DocID: 1t6jP - View Document

JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin

DocID: 1sleh - View Document

Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010

DocID: 1rRT9 - View Document

Theoretical computer science / Computing / Software engineering / Logic in computer science / Automated theorem proving / Static program analysis / Termination analysis / Rewriting / KeY / Automated reasoning / Bytecode / Christoph Walther

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

DocID: 1rrok - View Document