search result

Cover von A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Year: 2020
Media group: LIPIcs
Cover von Medical Ultrasound, and Preterm, Perinatal and Paediatric Image Analysis
First International Workshop, ASMUS 2020, and 5th International Workshop, PIPPI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4 - 8, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12437
Media group: MONOGRAPHIE
Cover von Introducing Diversion Graph for Real-Time Spatial Data Analysis with Location Based Social Networks

Introducing Diversion Graph for Real-Time Spatial Data Analysis with Location Based Social Networks

Year: 2020
Media group: LIPIcs
Cover von Approximation of the Diagonal of a Laplacian’s Pseudoinverse for Complex Network Analysis

Approximation of the Diagonal of a Laplacian’s Pseudoinverse for Complex Network Analysis

Year: 2020
Media group: LIPIcs
Cover von An Incentive Analysis of Some Bitcoin Fee Designs (Invited Talk)

An Incentive Analysis of Some Bitcoin Fee Designs (Invited Talk)

Year: 2020
Media group: LIPIcs
Cover von A Modal Analysis of Metaprogramming, Revisited (Invited Talk)

A Modal Analysis of Metaprogramming, Revisited (Invited Talk)

Year: 2020
Media group: LIPIcs
Cover von Analysis of Memory-Contention in Heterogeneous COTS MPSoCs

Analysis of Memory-Contention in Heterogeneous COTS MPSoCs

Year: 2020
Media group: LIPIcs
Cover von Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs

Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs

Year: 2020
Media group: LIPIcs
Cover von Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning

Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning

Year: 2020
Media group: LIPIcs
Cover von Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics

Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0