Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs safe » program safe, programs sage, programs safety
program https » programs https, program has, program help
safe program » safety program, space program, care program
programs safe » program safe, programs sage, programs safety
program https » programs https, program has, program help
safe program » safety program, space program, care program
1
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... and OpenMP Parallel Programming -- Outstanding Papers -- Issues in Developing a Thread-Safe MPI...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Quantization” Watermarking Scheme -- A Multisignature Scheme for Implementing Safe Delivery Rule in Group...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Real-Time and Embedded Systems -- Safe Termination Detection in an Asynchronous Distributed System When...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Exception Handling -- Working with Strings -- Arrays and Collections -- Delegates and Events -- Generics...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Motion Intensity on the Performance of Low- and Mid-Rise Ordinary Concrete Buildings -- Arrays...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... in Bacterial and Yeast Hosts -- Gene Expression Arrays in Food -- Optimization of Proteome Analysis for Wine...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Access Annotation for Safe Program Parallelization -- Extracting Threaded Traces in Simulation...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”View full text
Electronic
eBook
13
“... chromatography ultraviolet/photodiode array (UHPLC-UV/PDA) analysis revealed that the NaDES from the choline...”
Article