Showing 1 - 20 of 15,112

1

This result is not available to guest users.

2

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Lochbihler, Andreas

QA75.5-76.95 Java formal semantics type safety memory model concurrency
eBook
Save to List
3

This result is not available to guest users.

6

This result is not available to guest users.

7

This result is not available to guest users.

8

This result is not available to guest users.

9

Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine
Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; et al.
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. :657-676

4. Education 0202 electrical engineer... 14. Life underwater 02 engineering and techn... 7. Clean energy
Academic journal
Save to List
10

This result is not available to guest users.

11

This result is not available to guest users.

12

This result is not available to guest users.

13

A Conversation with James Gosling: James Gosling talks about virtual machines, security, and of course, Java.
Eric Allman
Queue. 2:24-33

9. Industry and infrastr... 4. Education 0502 economics and busin... 05 social sciences 16. Peace & justice 7. Clean energy
Academic journal
Save to List
14

Preservation of Proof Obligations from Java to the Java Virtual Machine.
Gilles Barthe ; Benjamin Grégoire ; Mariela Pavlova
IJCAR. :83-99

Conference
Save to List
15

Location-Based Information Systems
Labrador, Miguel A. ; Perez, Alfredo J. ; Wightman, Pedro M.

Location Based Informati... public Web Service API void Public Void mobile
eBook
Save to List
17

MCI-Java: A Modified Java Virtual Machine Approach to Multiple Code Inheritance.
Maria Cutumisu
Virtual Machine Research and Technology Symposium. :13-28

Conference
Save to List
20

This result is not available to guest users.


Filter