Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program compilation » program composition, program computational, program comparison
interval computing » intervals comparing, internet computing, interval counting
compilation https » computation https, complications https, communication https
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program compilation » program composition, program computational, program comparison
interval computing » intervals comparing, internet computing, interval counting
compilation https » computation https, complications https, communication https
1
Published 2010
Table of Contents:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Compiler Optimizations on Superscalar Processors Through Interval Analysis -- An Experimental Environment...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
9
by Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Published 2013
Table of Contents:
“... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”Published 2013
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... and Interval Semantics for CP-Comparatives -- Temporal Propositions as Vague Predicates -- Vagueness...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Maps Based on the LSP Method -- Aggregated Mean Ratios of an Interval Induced from Aggregation...”View full text
Electronic
eBook