Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
computing java » computing avar, computing jacev, computing jini
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
https » http
program computing » program comparing, programs compiling, problem computing
computing java » computing avar, computing jacev, computing jini
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
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
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
4
Table of Contents:
“... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
View full text
View full text
Electronic
eBook
5
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
6
7
8
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook
15
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
16
Published 2005
Table of Contents:
“... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”View full text
Electronic
eBook
20