Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program verification » formal verification
processing program » processing programs, processing programmed, proceedings program
verification java » verification data, verification a, verification case
https » http
program verification » formal verification
processing program » processing programs, processing programmed, proceedings program
verification java » verification data, verification a, verification case
https » http
1
Pubblicazione 2010
Sommario:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testo
Elettronico
eBook
2
Hardware and Software, Verification and Testing First International Haifa Verification Conference...
Pubblicazione 2006
Sommario:
“... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”Testo
Elettronico
eBook
3
Pubblicazione 2013
Sommario:
“... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”Testo
Elettronico
eBook
4
Pubblicazione 2013
Sommario:
“... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Testo
Elettronico
eBook
7
Pubblicazione 2008
Sommario:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Testo
Elettronico
eBook
8
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
9
Pubblicazione 2007
Sommario:
“... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”Testo
Elettronico
eBook
11
Pubblicazione 2015
Sommario:
“... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”Testo
Elettronico
eBook
12
Pubblicazione 2013
Sommario:
“... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”Testo
Elettronico
eBook
13
Pubblicazione 2006
Sommario:
“... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“... Enhancements for Color Image and Video Processing on Embedded Systems -- A Portable Doppler Device Based on a...”Testo
Elettronico
eBook
15
Pubblicazione 2007
Sommario:
“... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”Testo
Elettronico
eBook