search result

Cover von Dynamic Planar Embedding Is in DynFO

Dynamic Planar Embedding Is in DynFO

Year: 2023
Media group: LIPIcs
Cover von Submodularity Property for Facility Locations of Dynamic Flow Networks

Submodularity Property for Facility Locations of Dynamic Flow Networks

Year: 2023
Media group: OASICS
Cover von On Dynamic Lifting and Effect Typing in Circuit Description Languages

On Dynamic Lifting and Effect Typing in Circuit Description Languages

Year: 2023
Media group: LIPIcs
Cover von Towards Multi-Objective Dynamic SPM Allocation

Towards Multi-Objective Dynamic SPM Allocation

Year: 2023
Media group: OASICS
Cover von Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs

Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs

Year: 2023
Media group: LIPIcs
Cover von Precise Scheduling of DAG Tasks with Dynamic Power Management

Precise Scheduling of DAG Tasks with Dynamic Power Management

Author: Saifullah, Abusayeed
Year: 2023
Media group: LIPIcs
Cover von Adaptive Collective Responses to Local Stimuli in Anonymous Dynamic Networks

Adaptive Collective Responses to Local Stimuli in Anonymous Dynamic Networks

Year: 2023
Media group: LIPIcs
Cover von Partial Gathering of Mobile Agents in Dynamic Tori

Partial Gathering of Mobile Agents in Dynamic Tori

Author: Kim, Yonghwan
Year: 2023
Media group: LIPIcs
Cover von Mapping symbolic programs with dynamic tree structure to parallel machines
Author: Sodan, Angela C. Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 265
Media group: DISSERTATION
Cover von Polymorphic dynamic typing aspects of proof theory and inference
Author: Rehof, Jakob Search for this author
Year: 1995
Publisher: Kopenhagen, Universität
Series: Technical report / University of Copenhagen / Datalogisk institut; 95/9
Media group: DISSERTATION
OPEN V 11.1.0.0