search result

Cover von An Integrated Uncertainty and Sensitivity Analysis for Spatial Multicriteria Models (Short Paper)

An Integrated Uncertainty and Sensitivity Analysis for Spatial Multicriteria Models (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Year: 2023
Media group: LIPIcs
Cover von Warp-Level CFG Construction for GPU Kernel WCET Analysis

Warp-Level CFG Construction for GPU Kernel WCET Analysis

Year: 2023
Media group: OASICS
Cover von Information Flow Analysis for Detecting Non-Determinism in Blockchain

Information Flow Analysis for Detecting Non-Determinism in Blockchain

Author: Cortesi, Agostino; Spoto, Fausto
Year: 2023
Media group: LIPIcs
Cover von Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Improving the Sensitivity of MinHash Through Hash-Value Analysis

Improving the Sensitivity of MinHash Through Hash-Value Analysis

Year: 2023
Media group: LIPIcs
Cover von Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 13160
Media group: MONOGRAPHIE
Cover von Proceedings of the NSF/CBMS regional conference on numerical analysis of Hamiltonian differential equations
June 2-6, 1997, Golden, CO, USA : special issue
Search for this author
Year: 1999
Publisher: Amsterdam, Elsevier
Series: Applied numerical mathematics : 29. 1999, 1
Media group: SPECIAL ISSUE
Cover von Noblesse workshop on non-linear model based image analysis
proceedings of NMBIA, 1 - 3 July 1998, Glasgow
Search for this author
Year: 1998
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Special issue on systematic trade-off analysis in signal processing systems design
Search for this author
Year: 1998
Publisher: Boston, Kluwer
Series: Journal of VLSI signal processing systems for signal, image and video technology : 18. 1998, 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0