Search Results - "computing"

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Think Python How to Think Like a Computer Scientist by Downey, Allen B.

Subjects: “…Computer Science Textbooks…”
Access online version

Think Java How To Think Like a Computer Scientist by Mayfield, Chris, Downey, Allen

Table of Contents: “…Preface -- 1 Computer Programming -- 2 Variables and Operators -- 3 Input and output -- 4 Methods and Testing -- 5 Conditionals and logic -- 6 Loops and Strings -- 7 Arrays and References -- 8 Recursive Methods -- 9 Immutable Objects -- 10 Mutable Objects -- 11 Designing Classes -- 12 Arrays of Objects -- 13 Objects of Arrays -- 14 Extending Classes -- 15 Arrays of Arrays -- 16 Reusing Classes -- 17 Advanced Topics -- A Tools -- B Javadoc -- C Graphics -- D Debugging…”
Access online version

Think Raku How to Think Like a Computer Scientist by Rosenfeld, Laurent, Downey, Allen B.

Subjects: “…Computer Science Textbooks…”
Access online version

Challenges in Virtual Collaboration Videoconferencing, Audioconferencing, and Computer-Mediated Communications by Wainfan, Lynne

DOAB: download the publication
DOAB: description of the publication

Interferences and Events On Epistemic Shifts in Physics through Computer Simulations

Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication

New Trends in Technologies Devices, Computer, Communication and Industrial Systems

DOAB: download the publication
DOAB: description of the publication

Friendship and Technology A Philosophical Approach to Computer Mediated Communication by Petricini, Tiffany

DOAB: download the publication
DOAB: description of the publication

Meaning versus Grammar An Inquiry into the Computation of Meaning and the Incompleteness of Grammar by Cremers, Crit

OAPEN Library: download the publication
OAPEN Library: description of the publication

Interferences and Events On Epistemic Shifts in Physics through Computer Simulations

Subjects: “…computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Friendship and Technology A Philosophical Approach to Computer Mediated Communication by Petricini, Tiffany

OAPEN Library: download the publication
OAPEN Library: description of the publication

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems /

Subjects: “…Computer engineering.…”
Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Demystifying Intelligent Multimode Security Systems An Edge-to-Cloud Cybersecurity Solutions Guide / by Booth, Jody, Metz, Werner, Tarkhanyan, Anahit, Cheruvu, Sunil

Subjects: “…Computer science.…”
Link to Metadata

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

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

Subjects: “…Computer science.…”
Link to Metadata

Energy Babble by Andy Boucher, Bill Gaver, Tobie Kerridge, Mike Michael, Liliana Ovalle, Matthew Plummer-Fernandez, and Alex Wilkie

Subjects: “…Electronic computers. Computer science…”
DOAB: download the publication
DOAB: description of the publication

Ray Tracing Gems II Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX /

Subjects: “…Computer graphics.…”
Link to Metadata

Natural Hazards New Insights

Subjects: “…cloud computing…”
DOAB: download the publication
DOAB: description of the publication