Resultados de procura - parallel verification program functionality adding https

Search alternatives:
parallel verification » parallel identification , partial verification , parallel classification
program functionality » protein functionality , programs functional , supra functionality
verification program » verification problems , verification process , verification proving
functionality adding » functionality using , functionality amino , functionality setting
adding https » aging https , auditing https , banking https

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Publicado 2008

Table of Contents: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Ligazón do recurso

Electrónico eBook

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Publicado 2005

Table of Contents: “... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Ligazón do recurso

Electrónico eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Publicado 2007

Table of Contents: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2014

Table of Contents: “... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...”
Ligazón do recurso

Electrónico eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Publicado 2005

Table of Contents: “... -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA...”
Ligazón do recurso

Electrónico eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Publicado 2013

Table of Contents: “... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”
Ligazón do recurso

Electrónico eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicado 2007

Table of Contents: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Ligazón do recurso

Electrónico eBook

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicado 2007

Table of Contents: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados