:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Musselman, Blake
Format:	Recurso digital
Sprache:
Veröffentlicht:	Zenodo 2026
Schlagworte:	static analysis branchless programming SMT solving software safety constraint detection
Online-Zugang:	https://doi.org/10.5281/zenodo.19040720
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Deduction – CADE 29
Veröffentlicht: (2023)

The Effect of Banking Channels and Efficiency Indicators on Bank Profitability
von: Heber Bernardo Magallón González
Veröffentlicht: (2023)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2021)

Frontiers of Combining Systems
Veröffentlicht: (2023)

A KKT Simplex Method for Efficiently Solving Linear Programs for Grasp Analysis Based on the Identification of Nonbinding Constraints
von: Alejo Mosso-Vázquez
Veröffentlicht: (2014)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2021)

Creation and Usage of Project Ontology in Development of Software Intensive Systems
von: Petr Sosnin
Veröffentlicht: (2010)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2020)

Recoverability-Constrained Systems — Master Dossier (Full Closure Form): Cross-Domain Admissibility, Evidentiary Record, Operational System, and Legal Enforcement
von: Sanchez, Noelia, et al.
Veröffentlicht: (2026)

Recoverability-Constrained Systems — Master Dossier (Full Closure Form): Cross-Domain Admissibility, Evidentiary Record, Operational System, and Legal Enforcement
von: Sanchez, Noelia, et al.
Veröffentlicht: (2026)

Direct stockpile scheduling: Mathematical formulation
von: Felipe Souza
Veröffentlicht: (2018)

FOREST HARVEST SCHEDULING PLAN INTEGRATED TO THE ROAD NETWORK
von: Pedro Henrique Belavenutti Martins da Silva
Veröffentlicht: (2016)

Stability Analysis of Natural Slopes: Comparative Analysis Between the Strength Reduction and Stress Analysis Methods
von: Jonathan Vázquez García
Veröffentlicht: (2024)

Computer Aided Verification
Veröffentlicht: (2023)

Computer Aided Verification
Veröffentlicht: (2023)

The Unhackable Soul: Jungian Individuation as an Invariance Constraint
von: Jovanovic, Vladisav
Veröffentlicht: (2026)

Frontiers of Combining Systems
Veröffentlicht: (2025)

Carvalho: English-Galician SMT system from EuroParl English-Portuguese parallel corpus
von: José Ramom Pichel Campos
Veröffentlicht: (2009)

The Brain Problem: Creative Constraint Optimization in Large Language Models
von: Marinello, Nicola, et al.
Veröffentlicht: (2026)

Computer Aided Verification
Veröffentlicht: (2023)

Programming Languages and Systems
Veröffentlicht: (2025)

Programming Languages and Systems
Veröffentlicht: (2025)

Programming Languages and Systems
Veröffentlicht: (2024)

Programming Languages and Systems
Veröffentlicht: (2024)

CREH Benchmark Results — Batch 1 (Final v3)
von: Aegis Solis, Thomas Vargo
Veröffentlicht: (2026)

Aesthetic Programming
von: Soon, Winnie, et al.
Veröffentlicht: (2021)

Emergence: A Programming Paradigm for Constraint-Shaped Agency
von: McEntire, Jeremy
Veröffentlicht: (2026)

The role of Baikonur in the context of military-political cooperation between Kazakhstan and Russia
von: Ramilya Chukalova
Veröffentlicht: (2018)

Sensitivity Analysis of the Dynamic Behavior of a Salient-Pole Synchronous Machine Considering the Static Rotor Eccentricity Effect
von: I. Albino Padilla
Veröffentlicht: (2012)

An Extended Notion of Backward Compatibility
von: Jants, Kaaren
Veröffentlicht: (2026)

Effect of industrial processing of crackers on the recovery and quantitation of allergens with ELISA kits
von: Cindy Hidalgo-Víquez
Veröffentlicht: (2024)

Predictive Safety Analytics Model for Early Detection of High-Risk Construction Activities
von: Stephen Francis Obogo, et al.
Veröffentlicht: (2026)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2025)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2025)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2025)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2024)

Tools and Algorithms for the Construction and Analysis of Systems
Veröffentlicht: (2024)

The Davidson Hub: A Constraint-Driven, Self-Monitoring Inference Architecture for Real-World Decision Systems
von: Davidson, Craig Kylre Strachan
Veröffentlicht: (2026)

Mathematical problem solving through sequential process analysis
von: A. Codina
Veröffentlicht: (2015)