Search Results - program method https composition array https*

1

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Published 2010

Table of Contents: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
View full text

Electronic eBook

2

Cystic Fibrosis Methods and Protocols

Published 2002

Table of Contents: “... -- Probing CFTR Channel Structure and Function Using the Substituted-Cysteine-Accessibility Method -- Methods...”
View full text

Electronic eBook

3

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality...”
View full text

Electronic eBook

4

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
View full text

Electronic eBook

5

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
View full text

Electronic eBook

6

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
View full text

Electronic eBook

7

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
View full text

Electronic eBook

8

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
View full text

Electronic eBook

9

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
View full text

Electronic eBook

10

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
View full text

Electronic eBook

11

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
View full text

Electronic eBook

12

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
View full text

Electronic eBook

13

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”
View full text

Electronic eBook

14

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”
View full text

Electronic eBook

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
View full text

Electronic eBook

16

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
View full text

Electronic eBook

17

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Published 2015

Table of Contents: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
View full text

Electronic eBook

18

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
View full text

Electronic eBook

19

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
View full text

Electronic eBook

20

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

Published 2014

Table of Contents: “... Function With Multi-Choice Goal Programming -- 29 A New Viscosity Cesaro Mean Approximation Method For A...”
View full text

Electronic eBook

Narrow Search