Estimates for H2 functions with concentration at low degrees and applications to complex symbolic computation.
Previous Page 2
Displaying 21 – 28 of 28
Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.
H. Edelsbrunner, E. Welzl, P.K. Agarwal, O. Schwarzkopf (1991)
Discrete & computational geometry
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Ievgen Ivanov, Mykola Nikitchenko, Uri Abraham (2015)
Formalized Mathematics
Proving properties of distributed algorithms is still a highly challenging problem and various approaches that have been proposed to tackle it [1] can be roughly divided into state-based and event-based proofs. Informally speaking, state-based approaches define the behavior of a distributed algorithm as a set of sequences of memory states during its executions, while event-based approaches treat the behaviors by means of events which are produced by the executions of an algorithm. Of course, combined...
Exact bounds on the complexity of sequential string matching algorithms. (Des bornes exactes de la complexité des algorithmes séquentiels de recherche d'un motif.)
Hancart, Christophe (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Executable specifications for data-type constructors
John W. Gray (1990)
Diagrammes
Exhaustive List-Scheduling Heuristic for Dense Task Graphs
Tatjana Davidović (2000)
The Yugoslav Journal of Operations Research
Exponential tail bounds for max-recursive sequences.
Rueschendorf, Ludger, Schopp, Eva-Maria (2006)
Electronic Communications in Probability [electronic only]
Extrapolation Applied to the Method of Characteristics for a first Order System of Two Partial Differential Equations. Part One : The Initial Value Problem.
W. Busch, R. Esser, W. Hackbusch, U. Herrmann (1975)
Numerische Mathematik
Currently displaying 21 – 28 of 28
Previous Page 2