Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
detection computational » section computational, prediction computational, interactions computational
computational program » computational problem, compositional program, computational problems
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
detection computational » section computational, prediction computational, interactions computational
computational program » computational problem, compositional program, computational problems
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
1
Table of Contents:
“... -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path...”
View full text
View full text
Electronic
eBook
2
3
Published 2008
Table of Contents:
“... Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
7
8
Published 2013
Table of Contents:
“... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“... in a Computational Evolution System for Detecting Epistasis -- Composition of Music and Financial...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls...”View full text
Electronic
eBook
11
12
13
Published 2015
Table of Contents:
“... Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Computing Using Free Load Profiles -- Active Link: Status Detection Mechanism for Distributed Service Based...”View full text
Electronic
eBook