Titlebook: Mathematical and Engineering Methods in Computer Science; 8th International Do Antonín Kučera,Thomas A. Henzinger,David Antoš Conference pr

–DOX

偏离

确定方向

BDD-Based Software Model Checking with ,, the state space; BDDs are sometimes used as auxiliary data structure. The representation of software state spaces by BDDs was not yet thoroughly investigated, although BDDs are successful in hardware verification. The reason for this is that BDDs do not efficiently support all operations that are n

Hemodialysis

Security for Cyber-Physical Systems,cause undesired effects in the physical world. We examine to which extent traditional IT security techniques can protect against attacks on cyber-physical systems and which additional measures could be deployed to strengthen their security. Properties relevant in this context are the veracity and pl

保留

,Quantum Secret Sharing with Graph States,o resource efficient since every player’s share is composed of a single qubit. The threshold of a graph-state-based protocol admits a lower bound: for any graph of order ., the threshold of the corresponding .-player protocol is at least 0.506.. Regarding the upper bound, lexicographic product of th

extemporaneous

Testing Embedded Memories: A Survey,) content in the future, approaching 90% in in some cases. Therefore, the memory yield and quality will have a dramatic impact on the overall SoC cost and outgoing product quality. Meeting a high memory yield and quality requires understanding memory designs, modeling their faulty behaviors in appro

蜿蜒而流

Quicksort and Large Deviations,isons on any input of . distinct keys is Θ(. ln .), and the probability of a large deviation above the expected value is very small. This probability was well estimated some time ago, with an ad-hoc proof: we shall revisit this result in the light of further work on concentration.

creatine-kinase

,Recent Results on Howard’s Algorithm,us application areas that are so important that they usually go by their acronyms, e.g., OR, AI, and CAV. While Howard’s algorithm is generally recognized as fast in practice, until recently, its worst case time complexity was poorly understood. However, a surge of results since 2009 has led us to a

nuclear-tests

Advantage of Quantum Strategies in Random Symmetric XOR Games,concentrate on a simple subset of non-local games: multiplayer XOR games with 1-bit inputs and 1-bit outputs which are symmetric w.r.t. permutations of players..We look at random instances of non-local games from this class. We prove a tight bound for the expected performance on the classical strate

疼死我了