Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
structure https » structures https
https internal » states internal, has internal
program java » program jarak, program a, program jom
structure https » structures https
https internal » states internal, has internal
program java » program jarak, program a, program jom
1
Published 2015
Table of Contents:
“... of Orc Based on TLAþ -- Incremental Points-to Analysis for Java via Edit Propagation -- A Memory...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist...”View full text
Electronic
eBook
3
Table of Contents:
“... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...”
View full text
View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...QuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook