Arama Sonuçları - program paths program implementation https https

1

Distributed Programming Theory and Practice /

Yazar: Shankar, A. Udaya., Shankar, A. Udaya.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Tam Metin Erişim

Elektronik Ekitap

2

Linear Programming Foundations and Extensions /

Yazar: Vanderbei, Robert J., Vanderbei, Robert J.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Theory -- The Simplex Method in Matrix Notation -- Sensitivity and Parametric Analyses -- Implementation...”
Tam Metin Erişim

Elektronik Ekitap

3

Linear Programming Foundations and Extensions /

Yazar: Vanderbei, Robert J., Vanderbei, Robert J.
Baskı/Yayın Bilgisi 2008

İçindekiler: “... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... on the perceptions of the program implementers -- 9 Subjective Outcome Evaluation of the Project P.A.T.H.S.:Secondary...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Specification and Its Implementation -- A Higher-Order Iterative Path Ordering -- Variable Dependencies...”
Tam Metin Erişim

Elektronik Ekitap

10

Concurrent Programming: Algorithms, Principles, and Foundations

Yazar: Raynal, Michel., Raynal, Michel.
Baskı/Yayın Bilgisi 2013

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Ciliates -- On the State Complexity of Combined Operations -- Technical Contributions -- Path-Equivalent...”
Tam Metin Erişim

Elektronik Ekitap

12

Pro .NET 2.0 Graphics Programming

Yazar: White, Eric., White, Eric.
Baskı/Yayın Bilgisi 2006

İçindekiler: “....NET Graphics Programming -- Drawing Surfaces -- Pens and Brushes -- Text and Fonts -- Images...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Yazar: Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Implementation Revisited -- Delayed PC -- Implementing the Delayed PC -- Pipeline Stages and Visible Registers...”
Tam Metin Erişim

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...”
Tam Metin Erişim

Elektronik Ekitap

17

Practical Biometrics From Aspiration to Implementation /

Yazar: Ashbourn, Julian., Ashbourn, Julian.
Baskı/Yayın Bilgisi 2015

İçindekiler: “...Introduction -- Technical Factors -- Human Factors -- Implementation Factors -- Associated...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt