Search Results - processing java programs lock java https

Search alternatives:
processing java » processing japan , processing james , processing j
java programs » java programming
programs lock » programs look , programs local , programs logic
lock java » lock jam
https » http

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... for Non-Block-Structured Lock Primitives and Mutable References -- Reasoning about Java’s Reentrant Locks...”
View full text

Electronic eBook

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”
View full text

Electronic eBook

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”
View full text

Electronic eBook

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...”
View full text

Electronic eBook

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /

Published 2012

Table of Contents: “... from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting...”
View full text

Electronic eBook

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
View full text

Electronic eBook

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...”
View full text

Electronic eBook

Narrow Search