検索結果 - programs methods https composition array https

1

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

出版事項 2010

目次: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
全文の入手

電子媒体 eBook

2

Cystic Fibrosis Methods and Protocols

出版事項 2002

目次: “... -- Probing CFTR Channel Structure and Function Using the Substituted-Cysteine-Accessibility Method -- Methods...”
全文の入手

電子媒体 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 /

出版事項 2005

目次: “... Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality...”
全文の入手

電子媒体 eBook

4

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

出版事項 2010

目次: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
全文の入手

電子媒体 eBook

5

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

出版事項 2014

目次: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
全文の入手

電子媒体 eBook

6

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

出版事項 2006

目次: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
全文の入手

電子媒体 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...

出版事項 2008

目次: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
全文の入手

電子媒体 eBook

8

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

出版事項 2005

目次: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
全文の入手

電子媒体 eBook

9

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...

出版事項 2007

目次: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
全文の入手

電子媒体 eBook

10

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

出版事項 2005

目次: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
全文の入手

電子媒体 eBook

11

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

出版事項 2005

目次: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
全文の入手

電子媒体 eBook

12

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

出版事項 2007

目次: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
全文の入手

電子媒体 eBook

13

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...

出版事項 2005

目次: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
全文の入手

電子媒体 eBook

14

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

出版事項 2010

目次: “... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”
全文の入手

電子媒体 eBook

15

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

出版事項 2007

目次: “...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”
全文の入手

電子媒体 eBook

16

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

著者: Spear, Chris., Spear, Chris.
出版事項 2008

目次: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
全文の入手

電子媒体 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 /

出版事項 2015

目次: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
全文の入手

電子媒体 eBook

18

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

出版事項 2010

目次: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
全文の入手

電子媒体 eBook

19

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

出版事項 2012

目次: “... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”
全文の入手

電子媒体 eBook

20

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

出版事項 2010

目次: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
全文の入手

電子媒体 eBook

絞込み検索