Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
problems verification » problem verification, problems specification, programs verification
processing problems » programming problems
verification java » verification data, verification a, verification case
https » http
problems verification » problem verification, problems specification, programs verification
processing problems » programming problems
verification java » verification data, verification a, verification case
https » http
1
Gepubliceerd in 2010
Inhoudsopgave:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging -- Modeling and Verification of MPI...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2013
Inhoudsopgave:
“...Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2007
Inhoudsopgave:
“... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”Volledige tekst
Elektronisch
E-boek