Results 11 to 20 of about 4,748,115 (286)
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs [PDF]
Computer Aided Verification32nd International Conference, 2020 We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle ...
Schemmel D +4 more
europepmc +2 more sources
POPE: Partial Order Preserving Encoding [PDF]
, 2016 Recently there has been much interest in performing search queries over encrypted data to enable functionality while protecting sensitive data. One particularly efficient mechanism for executing such queries is order-preserving encryption/encoding (OPE ...
Apon, Daniel +3 more
core +2 more sources
Transport of video over partial order connections [PDF]
, 1999 A Partial Order and partial reliable Connection (POC) is an end-to-end transport connection authorized to deliver objects in an order that can differ from the transmitted one. Such a connection is also authorized to lose some objects.
Amer +14 more
core +2 more sources
Relaxing Time Windows by Partial Orders in Routing Problems With Stacking Constraints
IEEE Access, 2019 In vehicle routing problems, time windows are often used to formulate partial order relations between tasks in optimization model and related algorithm. However, time-window and partial order constraints are not equivalent.
Chen Wei, Zhi-Hua Hu, Wen-Wen Gao
doaj +1 more source
Parallel evolutionary algorithms for the reconfigurable transfer line balancing problem [PDF]
Yugoslav Journal of Operations ResearchThis paper deals with an industrial problem of machining line design, which consists in partitioning a given set of operations into several subsets corresponding to workstations and sequencing the operations to satisfy the technical requirements and ...
Borisovsky Pavel
doaj +1 more source
Partial order from disorder in a classical pyrochlore antiferromagnet [PDF]
, 2008 We investigate theoretically the phase diagram of a classical Heisenberg antiferromagnet on the pyrochlore lattice perturbed by a weak second-neighbor interaction J_2. The huge ground state degeneracy of the nearest-neighbor Heisenberg spins is lifted by
Gia-Wei Chern +3 more
core +2 more sources
Partial Order as Decision Support between Statistics and Multicriteria Decision Analyses
Standards, 2022 Evaluation by ranking/rating of data based on a multitude of indicators typically calls for multi-criteria decision analyses (MCDA) methods. MCDA methods often, in addition to indicator values, require further information, typically subjective.
Lars Carlsen, Rainer Bruggemann
doaj +1 more source
The Annals of Probability, 1978 A probability measure $P$ on a partially ordered Polish space $E$ is called stochastically smaller than $Q$ (notation: $P \leqslant Q$) if $\int f dP \leqslant \int f dQ$ holds for all bounded increasing measurable $f$. We investigate the question when for a stochastically increasing family $\{P_t, t \in \mathbb{R}\}$ there exists an increasing process
Kamae, T., Krengel, U.
openaire +3 more sources
Partial Order Reduction for Security Protocols [PDF]
, 2015 Security protocols are concurrent processes that communicate using cryptography with the aim of achieving various security properties. Recent work on their formal verification has brought procedures and tools for deciding trace equivalence properties (e ...
Baelde, David +2 more
core +2 more sources
A metrizable semitopological semilattice with non-closed partial order
Topological Algebra and its Applications, 2020 We construct a metrizable semitopological semilattice X whose partial order P = {(x, y) ∈ X × X : xy = x} is a non-closed dense subset of X × X. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff ...
Banakh Taras +2 more
doaj +1 more source