檢索結果 - programs verification https function basic https

搜索替代詞:
programs verification » program verification , programs education
verification https » modification https , verification heap , verification attack
https function » its function , sites function , ups function
function basic » functions basic , function based , functional basics
basic https » music https , asia https , arabic https

Hardware Verification with System Verilog An Object-Oriented Framework /

由 Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
出版 2007

書本目錄: “...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
獲取全文

電子電子書

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

由 Spear, Chris., Spear, Chris.
出版 2008

書本目錄: “... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
獲取全文

電子電子書

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

由 Spear, Chris., Spear, Chris.
出版 2006

書本目錄: “...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation...”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

書本目錄: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
獲取全文

電子電子書

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /

出版 2005

書本目錄: “... Iteration Duplication for Reliable Execution -- Memory Usage Verification for OO Programs -- Abstraction...”
獲取全文

電子電子書

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

出版 2010

書本目錄: “... Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH...”
獲取全文

電子電子書

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

出版 2005

書本目錄: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
獲取全文

電子電子書

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

出版 2013

書本目錄: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
獲取全文

電子電子書

Handbook of Floating-Point Arithmetic

由 Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
出版 2010

書本目錄: “...Introduction, Basic Definitions, and Standards -- Definitions and Basic Notions -- Floating-Point...”
獲取全文

電子電子書

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

由 Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
出版 2014

書本目錄: “... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...”
獲取全文

電子電子書

Decision Procedures An Algorithmic Point of View /

由 Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
出版 2008

書本目錄: “...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
獲取全文

電子電子書

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

出版 2010

書本目錄: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
獲取全文

電子電子書

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

出版 2014

書本目錄: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
獲取全文

電子電子書

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

出版 2006

書本目錄: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
獲取全文

電子電子書

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

出版 2008

書本目錄: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
獲取全文

電子電子書

Brain, Vision, and Artificial Intelligence First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings /

出版 2005

書本目錄: “...Brain Basics -- Towards a Dynamic Neuropharmacology: Integrating Network and Receptor Levels...”
獲取全文

電子電子書

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

出版 2013

書本目錄: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
獲取全文

電子電子書

Modelling Rock Fracturing Processes A Fracture Mechanics Approach Using FRACOD /

由 Shen, Baotang., Shen, Baotang., Stephansson, Ove., Rinne, Mikael.
出版 2014

書本目錄: “... Function -- 12. Rock Properties for FRACOD Modelling -- 13. FRACOD Verification Tests -- 14. Application...”
獲取全文

電子電子書

縮小搜索