The following pages link to full work available at URL (P205):
Displaying 50 items.
- A better lower bound on the competitive ratio of the randomized 2-server problem (Q287141) (← links)
- Recognizing Hamming graphs in linear time and space (Q287143) (← links)
- Bounded fan-out \(m\)-center problem (Q287146) (← links)
- The bit complexity of the predecessor problem (Q287147) (← links)
- Performance bounds for modeling NUMA architectures (Q287149) (← links)
- A note on scheduling multiprocessor tasks with precedence constraints on parallel processors (Q287150) (← links)
- On embedding rectangular meshes into rectangular meshes of smaller aspect ratio (Q287153) (← links)
- On universal learning algorithms (Q287154) (← links)
- Finite automata-models for the investigation of dynamical systems (Q287156) (← links)
- A nonapproximability result for finite function generation (Q287157) (← links)
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Abstract derivation of transitive closure algorithms (Q287162) (← links)
- Computing OR on a randomized fixed adversary CRCW PRAM (Q287164) (← links)
- Total domination and transformation (Q287166) (← links)
- Shelf algorithms for on-line strip packing (Q287167) (← links)
- The working set algorithm has competitive ratio less than two (Q287173) (← links)
- Distributed routing in a fault-tolerant multistage interconnection network (Q287180) (← links)
- A tight bound for approximating the square root (Q287183) (← links)
- Computing a single cell in the overlay of two simple polygons (Q287185) (← links)
- I-serializability: generalized correctness for transaction-based environments (Q287187) (← links)
- Logarithmic width, linear area upward drawing of AVL trees (Q287192) (← links)
- Efficient stream distribution algorithm for heterogeneous multimedia multicast with link capacity constraint (Q287196) (← links)
- On non-smooth convex distance functions (Q287199) (← links)
- An insight on PRAM computational bounds (Q287202) (← links)
- Billiard quorums on the grid (Q287209) (← links)
- Calculating the Hausdorff distance between curves (Q287214) (← links)
- Embedding cycles in IEH graphs (Q287217) (← links)
- Fast correlation attacks on nonlinear filter generators (Q287225) (← links)
- Recognizable subsets of the two letter plactic monoid (Q287233) (← links)
- An approximate model of processor communication rings under heavy load (Q287237) (← links)
- Batch scheduling with deadlines on parallel machines: an NP-hard case (Q287238) (← links)
- Time bounds on synchronization in a periodic distributed system (Q287245) (← links)
- Efficient access methods for image databases (Q287248) (← links)
- Exact and approximate computational geometry solutions of an unrestricted point set stereo matching problem (Q287251) (← links)
- A characterization of finitary bisimulation (Q287256) (← links)
- On improving dependency implication algorithms (Q287258) (← links)
- Computing a poset from its realizer (Q287260) (← links)
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Decision procedures for flat array properties (Q287272) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Reverse complexity (Q287279) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- The \(q\)-versions of the Bernstein operator: from mere analogies to further developments (Q287285) (← links)
- Further results for \(k\)th order Kantorovich modification of linking Baskakov type operators (Q287288) (← links)
- Hyers-Ulam stability of Euler's differential equation (Q287290) (← links)
- New Korovkin type theorem for non-tensor Meyer-König and Zeller operators (Q287292) (← links)
- Asymptotic properties of Bernstein-Durrmeyer operators (Q287294) (← links)
- Statistically relatively uniform convergence of positive linear operators (Q287297) (← links)
