Search Results - integrating simulation program program coverage https

1

Introduction to Probability Simulation and Gibbs Sampling with R

by Suess, Eric A., Suess, Eric A., Trumbo, Bruce E.
Published 2010

Table of Contents: “...Introductory Examples: Simulation, Estimation, and Graphics -- Generating Random Numbers -- Monte...”
View full text

Electronic eBook

2

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Published 2010

Table of Contents: “... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”
View full text

Electronic eBook

3

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

4

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”
View full text

Electronic eBook

5

Computational Physics Simulation of Classical and Quantum Systems /

by Scherer, Philipp O.J., Scherer, Philipp O.J.
Published 2010

Table of Contents: “... Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
View full text

Electronic eBook

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
View full text

Electronic eBook

7

Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings /

Published 2010

Table of Contents: “... and Deploying Long Distance Wireless Sensor Networks: The Integration of Simulation and Experimentation -- A...”
View full text

Electronic eBook

8

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Published 2010

Table of Contents: “... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”
View full text

Electronic eBook

9

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Agent Oriented Data Integration -- Positions in Engineering Agent Oriented Systems -- AOSE and Organic...”
View full text

Electronic eBook

10

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /

Published 2014

Table of Contents: “... -- Contextual cognition in social simulation -- SocioPlatform: A Platform for Social Context-Aware Applications...”
View full text

Electronic eBook

11

Verification Methodology Manual for SystemVerilog

by Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Published 2006

Table of Contents: “... -- Coverage-Driven Verification -- Assertions for Formal Tools -- System-Level Verification -- Processor...”
View full text

Electronic eBook

12

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Published 2008

Table of Contents: “... -- An Integrated Method for GML Application Schema Match -- Application of Classification Methods for Forecasting...”
View full text

Electronic eBook

13

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 /

Published 2008

Table of Contents: “... the Quality of a SystemC Testbench by Using Code Coverage Techniques -- SystemC-Based Simulation of the MICAS...”
View full text

Electronic eBook

14

Ingredients for Successful System Level Design Methodology

by Patel, Hiren D., Patel, Hiren D., Shukla, Sandeep Kumar.
Published 2008

Table of Contents: “...Related Work -- Background -- Behavioral Hierarchy with Hierarchical FSMs (HFSMs) -- Simulation...”
View full text

Electronic eBook

15

Numerical Methods with Worked Examples: Matlab Edition

by Woodford, C., Woodford, C., Phillips, C.
Published 2012

Table of Contents: “.... Numerical Integration -- 6. Numerical Differentiation -- 7. Linear Programming -- 8. Optimization -- 9...”
View full text

Electronic eBook

16

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 201...

Published 2010

Table of Contents: “... for Privacy Preserving Data Mining -- On a Novel Simulation Framework and Scheduling Model Integrating...”
View full text

Electronic eBook

17

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Published 2014

Table of Contents: “... -- Modelling - Simulation of an Under Ground Wireless Communication Channel -- Review on Heart Sound Analysis...”
View full text

Electronic eBook

18

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... of Framework of Mobile IP and MANET Integration -- Delay Analysis Various Links Using OPNET Simulator...”
View full text

Electronic eBook

19

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”
View full text

Electronic eBook

20

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “... Concurrent Link Failure for Mobile Ad Hoc Networks -- A Simulation-Based Performance Analysis of Various...”
View full text

Electronic eBook

Narrow Search