Filters








2 Hits in 4.8 sec

Engineering a Delegatable and Error-Tolerant Algorithm for Counting Small Subgraphs [chapter]

Petteri Kaski
2018 2018 Proceedings of the Twentieth Workshop on Algorithm Engineering and Experiments (ALENEX)  
ACM 2015] to produce a noninteractive probabilistically checkable proof of correctness, and (ii) the execution of the algorithm when preparing the proof tolerates a controllable number of adversarial errors  ...  We engineer an open-source GPU implementation of a distributed algorithm design of Björklund and Kaski [PODC 2016] where (i) the execution of the algorithm can be delegated [Goldwasser, Kalai, and Rothblum  ...  In this paper we seek to engineer a practical implementation of the Björklund-Kaski design for delegatable and error-tolerant counting of six-vertex subgraphs.  ... 
doi:10.1137/1.9781611975055.16 dblp:conf/alenex/Kaski18 fatcat:hlfxvpbb2zdmrlf4venyyhipim

Policy-based management of medical devices and applications

Anna Litvina, Technische Universität Dortmund, Technische Universität Dortmund
2019
On the basis of the introduced policy derivation patterns (evaluation, control and refinement patterns) and intra-layer associations the policy derivation process is conducted automated by means of a modeling  ...  A comprehensive model of the managed and the management system is created. Both systems are modeled on three abstraction layers ("Use Cases", "Services", "Components").  ...  In fact, they imply a subgraph with nodes and edges of special types which builds an excerpt from a system model.  ... 
doi:10.17877/de290r-20239 fatcat:mvh746sbbzhrphc26gccqw2axi