Search Results - "program analysis"

PENGARUH KEPEMIMPINAN TRANSFORMASIONAL DAN MOTIVASI TERHADAP KINERJA DOSEN (Kasus Pada Dosen Kampus Daerah Universitas Pendidikan Indonesia) by Lutfi Nur, -

Link Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata

Home-based exercise alters pulmonary function and cellular stress markers in overweight middle-aged men during covid-19 Home quarantine by Bakhtyar Tartibian, Noushin Azadpour, Rasoul Eslami, Sirwan Mohammad Amini Khayat

Connect to this object online.

MAESTRIA EN ENFERMERIA: UNA NECESIDAD PARA EL DESARROLLO DE LA PROFESION Nursing Master's necessary to development of profession by Arlety Barazal Gutiérrez

Connect to this object online.

Adolescents With Overweight or Obesity: A Qualitative Study of Participation in an Internet-Based Program to Increase Physical Activity by Turid Kristin Bigum Sundar RN, MA, Knut Løndal MA, PhD, Kirsti Riiser MA, PhD, Per Lagerløv MD, PhD, Kari Glavin RN, MA, PhD, Sølvi Helseth RN, MA, PhD

Connect to this object online.

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

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Patient navigator team perceptions on the implementation of a citywide breast cancer patient navigation protocol: a qualitative study by Stephanie Loo, Katelyn Mullikin, Charlotte Robbins, Victoria Xiao, Tracy A. Battaglia, Stephenie C. Lemon, Christine Gunn, the TRIP Consortium

Connect to this object online.

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Breaking the Glass Ceiling: A Multiregional Study of Mentorship and Leadership in All-Women Surgical Teams by Bustamante A, Salazar Lopez BB, Jones EM, Turk M, Tapia Arellano MF, Treminio S, Rata MJ, Msokera C, Daradkeh H, Barkhordarzadeh AD, Umutoni A, Bautista A, Naidu P, Munabi NCO, Magee III WP, Cote EA, Magee K, Auslander A

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Technological ecologies & sustainability by Heidi A. McKee

DOAB: download the publication
DOAB: description of the publication

PENGEMBANGAN BUKU DIGITAL INTERAKTIF ANALISIS KURIKULUM 2013 REVISI 2017 PADA MATA PELAJARAN PRODUKSI PENGOLAHAN KOMODITAS PERKEBUNAN DAN HERBAL by Nuri Purwanti, -

Link Metadata

Consumption behavior of Korean cultural product "Kim-chi" in Bangkok by Pantipa Prasertsrisiri

Get full text

Creative economy in South Korea : case study South Korea film and Thai consumers behavior by Kanok-On Upanun

Get full text

How Students Construct Scaffolds by Using Drafts for Solving Tasks by Chudinova E.V

Connect to this object online.

OPTIMASI WAKTU DAN BIAYA PADA PROYEK A DENGAN METODE CPM DAN PERT DI PT. XYZ by Reni Wulandari,

Link Metadata

Comparing estimates of child mortality reduction modelled in LiST with pregnancy history survey data for a community-based NGO project in Mozambique by Morrow Melanie, Edward Anbrasi, Perry Henry, Prosnitz Debra, Ricca Jim, Ernst Pieter, Ryan Leo

Connect to this object online.