search result

Cover von Dynamic Time Warping-Based Proximity Problems

Dynamic Time Warping-Based Proximity Problems

Year: 2020
Media group: LIPIcs
Cover von On the Facility Location Problem in Online and Dynamic Models

On the Facility Location Problem in Online and Dynamic Models

Year: 2020
Media group: LIPIcs
Cover von The Complexity of Bounded Context Switching with Dynamic Thread Creation

The Complexity of Bounded Context Switching with Dynamic Thread Creation

Year: 2020
Media group: LIPIcs
Cover von Sea-Rise Flooding on Massive Dynamic Terrains

Sea-Rise Flooding on Massive Dynamic Terrains

Year: 2020
Media group: LIPIcs
Cover von Faster Binary Mean Computation Under Dynamic Time Warping

Faster Binary Mean Computation Under Dynamic Time Warping

Year: 2020
Media group: LIPIcs
Cover von Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
article in LNCS 11823: International Conference on Tests and Proofs, TAP 2019
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11823 : article
Media group: ARTICLE
Cover von Dynamic Dominators and Low-High Orders in DAGs

Dynamic Dominators and Low-High Orders in DAGs

Year: 2019
Media group: LIPIcs
Cover von Dynamic analysis and design of a semiconductor supply chain

Dynamic analysis and design of a semiconductor supply chain

a control engineering approach
Year: 2018
Media group: ARTICLE
Cover von Fault Tolerant and Fully Dynamic DFS in Undirected Graphs

Fault Tolerant and Fully Dynamic DFS in Undirected Graphs

Simple Yet Efficient
Year: 2019
Media group: LIPIcs
Cover von Polynomial Anonymous Dynamic Distributed Computing Without a Unique Leader

Polynomial Anonymous Dynamic Distributed Computing Without a Unique Leader

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0