检索结果 - integrated verification programming programming constrained https

搜索替代词:
verification programming » specification programming , identification programming , verification program
integrated verification » integration verification , integrating verification , integrated specification
programming programming » programming programmed , programming program
programming constrained » programming constructs
constrained https » constrained hpc , constrained graphs , constrained stress

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

出版 2013

书本目录: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
获取全文

电子电子书

Verification Methodology Manual for SystemVerilog

由 Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
出版 2006

书本目录: “... Integration Verification....”
获取全文

电子电子书

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

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

书本目录: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
获取全文

电子电子书

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

出版 2013

书本目录: “... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”
获取全文

电子电子书

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

出版 2010

书本目录: “... with Adaptable OS Services -- Efficient Mutation-Analysis Coverage for Constrained Random Verification -- Code...”
获取全文

电子电子书

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

出版 2007

书本目录: “... Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations...”
获取全文

电子电子书

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

出版 2008

书本目录: “...Image Filtering -- Discrete Pulse Transform of Images -- Constrained Unsharp Masking for Image...”
获取全文

电子电子书

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

出版 2013

书本目录: “... Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained...”
获取全文

电子电子书

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

出版 2010

书本目录: “... on the Grid -- Result Verification Mechanism Based on Availability and Reputation of Resources in P2P Desktop...”
获取全文

电子电子书

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

出版 2014

书本目录: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
获取全文

电子电子书

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

出版 2010

书本目录: “... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”
获取全文

电子电子书

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /

出版 2006

书本目录: “... and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal...”
获取全文

电子电子书

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

出版 2008

书本目录: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
获取全文

电子电子书

Service-Oriented Computing - ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings /

出版 2007

书本目录: “... Services Using Aspect-Oriented Programming -- Software as a Service: An Integration Perspective -- Building...”
获取全文

电子电子书

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings /

出版 2005

书本目录: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
获取全文

电子电子书

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /

出版 2008

书本目录: “... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...”
获取全文

电子电子书

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版 2005

书本目录: “... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...”
获取全文

电子电子书

Emerging Technologies for Information Systems, Computing, and Management

出版 2013

书本目录: “... Theory Based MapReduce Scheduling Algorithm -- Dynamic USBKEY System on Multiple Verification Algorithm...”
获取全文

电子电子书

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

出版 2008

书本目录: “... -- An Integrated Method for GML Application Schema Match -- Application of Classification Methods for Forecasting...”
获取全文

电子电子书

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I /

出版 2014

书本目录: “... Data Integration -- SPARQL – Compliant Semantic Search Engine with an Intuitive User Interface -- A...”
获取全文

电子电子书

缩小搜索