Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification function » verification functional, verification foundations, verification condition
problem verification » problems verification, problem specification, program verification
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
verification function » verification functional, verification foundations, verification condition
problem verification » problems verification, problem specification, program verification
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Simulation and Verification Platform for Kernel P Systems -- The Abilities of P Colony Based Models in Robot...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Machine-Checked Verification of the Correctness and Amortized -- Improved Tool Support for Machine-Code...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook