Sökresultat - computing modulo program developing computer https

Menade du:
developing computer » development computer , developing competent , developing complex
program developing » programs developing , programme developing , programmes developing
computing modulo » computing modular , computing models , computing model
modulo program » modul program , modular program , model program
computer https » computers https , computing https , computer arts

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Hämta fulltext

Elektronisk E-bok

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Hämta fulltext

Elektronisk E-bok

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Hämta fulltext

Elektronisk E-bok

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Publicerad 2015

Innehållsförteckning: “...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”
Hämta fulltext

Elektronisk E-bok

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Publicerad 2007

Innehållsförteckning: “... Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive...”
Hämta fulltext

Elektronisk E-bok

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Hämta fulltext

Elektronisk E-bok

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Hämta fulltext

Elektronisk E-bok

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /

av Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Publicerad 2014

Innehållsförteckning: “..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...”
Hämta fulltext

Elektronisk E-bok

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...”
Hämta fulltext

Elektronisk E-bok

Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... -- Computationally Equivalent Elimination of Conditions -- On the Correctness of Bubbling -- Propositional Tree...”
Hämta fulltext

Elektronisk E-bok

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Publicerad 2007

Innehållsförteckning: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Hämta fulltext

Elektronisk E-bok

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berk...

Publicerad 2013

Innehållsförteckning: “... Chromatic Number -- A Pseudo-approximation for the Genus of Hamiltonian Graphs -- A Local Computation...”
Hämta fulltext

Elektronisk E-bok

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Publicerad 2007

Innehållsförteckning: “...Architecture -- New Algorithms for SIMD Alignment -- Preprocessing Strategy for Effective Modulo...”
Hämta fulltext

Elektronisk E-bok

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A...”
Hämta fulltext

Elektronisk E-bok

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

av Platzer, André., Platzer, André.
Publicerad 2010

Innehållsförteckning: “... for Hybrid Systems -- Deduction Modulo Real Algebra and Computer Algebra -- Computing Differential Invariants...”
Hämta fulltext

Elektronisk E-bok

Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Volume Model -- Automatic Cortical Segmentation in the Developing Brain -- Comparing Pairwise...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen