Search Results - program path program implementation https https

1

Distributed Programming Theory and Practice /

by Shankar, A. Udaya., Shankar, A. Udaya.
Published 2013

Table of Contents: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text

Electronic eBook

2

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2014

Table of Contents: “... Theory -- The Simplex Method in Matrix Notation -- Sensitivity and Parametric Analyses -- Implementation...”
View full text

Electronic eBook

3

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2008

Table of Contents: “... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
View full text

Electronic eBook

4

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

5

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
View full text

Electronic eBook

6

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Published 2006

Table of Contents: “... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”
View full text

Electronic eBook

7

Development and Evaluation of Positive Adolescent Training through Holistic Social Programs (P.A.T.H.S.)

Published 2013

Table of Contents: “... on the perceptions of the program implementers -- 9 Subjective Outcome Evaluation of the Project P.A.T.H.S.:Secondary...”
View full text

Electronic eBook

8

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
View full text

Electronic eBook

9

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... Specification and Its Implementation -- A Higher-Order Iterative Path Ordering -- Variable Dependencies...”
View full text

Electronic eBook

10

Concurrent Programming: Algorithms, Principles, and Foundations

by Raynal, Michel., Raynal, Michel.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

11

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings /

Published 2006

Table of Contents: “... in Ciliates -- On the State Complexity of Combined Operations -- Technical Contributions -- Path-Equivalent...”
View full text

Electronic eBook

12

Pro .NET 2.0 Graphics Programming

by White, Eric., White, Eric.
Published 2006

Table of Contents: “....NET Graphics Programming -- Drawing Surfaces -- Pens and Brushes -- Text and Fonts -- Images...”
View full text

Electronic eBook

13

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /

by Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Published 2014

Table of Contents: “... Implementation Revisited -- Delayed PC -- Implementing the Delayed PC -- Pipeline Stages and Visible Registers...”
View full text

Electronic eBook

14

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...”
View full text

Electronic eBook

15

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...”
View full text

Electronic eBook

16

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
View full text

Electronic eBook

17

Practical Biometrics From Aspiration to Implementation /

by Ashbourn, Julian., Ashbourn, Julian.
Published 2015

Table of Contents: “...Introduction -- Technical Factors -- Human Factors -- Implementation Factors -- Associated...”
View full text

Electronic eBook

18

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Published 2008

Table of Contents: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
View full text

Electronic eBook

19

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
View full text

Electronic eBook

20

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

Narrow Search