search result

Cover von Fully Dynamic Connectivity Oracles under General Vertex Updates

Fully Dynamic Connectivity Oracles under General Vertex Updates

Year: 2017
Media group: LIPIcs
Cover von Clique-Width for Graph Classes Closed under Complementation

Clique-Width for Graph Classes Closed under Complementation

Author: Blanche, Alexandre
Year: 2017
Media group: LIPIcs
Cover von Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics

Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics

article
Year: 2017
Media group: ARTICLE
Cover von Minimum Spanning Tree under Explorable Uncertainty in Theory and Experiments

Minimum Spanning Tree under Explorable Uncertainty in Theory and Experiments

Year: 2017
Media group: LIPIcs
Cover von Answering FO+MOD Queries Under Updates on Bounded Degree Databases

Answering FO+MOD Queries Under Updates on Bounded Degree Databases

Year: 2017
Media group: LIPIcs
Cover von Power Tuning for HPC Jobs under Manufacturing Variations
Search for this author
Year: 2016
Publisher: Raleigh, University
Series: Technical Report, Dept. of Computer Science, North Carolina State University; 2016-2
Media group: TECHNICAL REPORT
Cover von The Benefits of Duality in Verifying Concurrent Programs under TSO

The Benefits of Duality in Verifying Concurrent Programs under TSO

Year: 2016
Media group: LIPIcs
Cover von Min-Sum Scheduling Under Precedence Constraints

Min-Sum Scheduling Under Precedence Constraints

Year: 2016
Media group: LIPIcs
Cover von Reachability in Networks of Register Protocols under Stochastic Schedulers

Reachability in Networks of Register Protocols under Stochastic Schedulers

Year: 2016
Media group: LIPIcs
Cover von k-Center Clustering Under Perturbation Resilience

k-Center Clustering Under Perturbation Resilience

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0