Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
problem methods » problems methods, probe methods, probes methods
methods program » methods programmed, methods problem, metrics program
computing java » computing avar, computing jacev, computing jini
https » http
program computing » program comparing, programs compiling, problem computing
problem methods » problems methods, probe methods, probes methods
methods program » methods programmed, methods problem, metrics program
computing java » computing avar, computing jacev, computing jini
https » http
1
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
6
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”View full text
Electronic
eBook
10
11
12
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
13
Published 2006
Table of Contents:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”View full text
Electronic
eBook
14
Table of Contents:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“...Basic Theory—The Simplex Method and Duality -- The Simplex Method -- Degeneracy -- Efficiency...”
View full text
View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...-Efficient Greedy-Face Geographic Routing for Wireless Sensor Networks -- An Improved Bandwidth-Use Method...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”View full text
Electronic
eBook
19
Table of Contents:
“...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...”
View full text
View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”View full text
Electronic
eBook