Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
based program » based programming
program https » programs https, program has, program help
based program » based programming
program https » programs https, program has, program help
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”View full text
Electronic
eBook
4
Table of Contents:
“... Functions in CNF and DNF Derivable from the Same Training Examples -- The Rejectability Graph of Two Sets...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Utility Programs Based on Behavior Phase Analysis -- A Systematic Approach to Model-Guided Empirical...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Inexperienced Teachers -- Suprasymbolic Grammar Induction by Recurrent Self-Organizing Maps -- Graph-Based...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Programmable Gate Array Realization. An Adaptive Neuro-Fuzzy Inference System-Based Approach to Forecast Time...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software...”View full text
Electronic
eBook
14
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
15
Published 2008
Table of Contents:
“... Systems -- Evolutionary Graph Models with Dynamic Topologies on the Ubichip -- A Hardware-Software Design...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”View full text
Electronic
eBook
17
Table of Contents:
“.... Linear algebra -- 12.1 Vectors -- 12.2 Matrices -- 13. Graphics -- 13.1 Two-dimensional graphs -- 13.2...”
View full text
View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...”View full text
Electronic
eBook