Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5–8, 2000 Proceedings

We present the first comprehensive experimental study of online algorithms for Graham’s scheduling problem. In Graham’s scheduling problem, which is a fundamental and extensively studied problem in scheduling theory, a sequence of jobs has to be scheduled on m identical parallel machines so as to minimize the makespan. Graham gave an elegant algorithm that is (2−1/m)-competitive. Recently a number of new online algorithms were developed that achieve competitive ratios around 1.9. Since competitive analysis can only capture the worst case behavior of an algorithm a question often asked is: Are these new algorithms geared only towards a pathological case or do they perform better in practice, too? We address this question by analyzing the algorithms on various job sequences. We have implemented a general testing environment that allows a user to generate jobs, execute the algorithms on arbitrary job sequences and obtain a graphical representation of the results. In our actual tests, we analyzed the algorithms (1) on real world jobs and (2) on jobs generated by probability distributions. It turns out that the performance of the algorithms depends heavily on the characteristics of the respective work load. On job sequences that are generated by standard probability distributions, Graham’s strategy is clearly the best. However, on the real world jobs the new algorithms often outperform Graham’s strategy. Our experimental study confirms theoretical results and gives some new insights into the problem. In particular, it shows that the techniques used by the new online algorithms are also interesting from a practical point of view.

[1]  David Johnson Timetabling University Examinations , 1990 .

[2]  D. T. Lee,et al.  Location of Multiple Points in a Planar Subdivision , 1979, Inf. Process. Lett..

[3]  Sandeep Sen,et al.  Towards a theory of cache-efficient algorithms , 2000, SODA '00.

[4]  Don Coppersmith,et al.  Small Solutions to Polynomial Equations, and Low Exponent RSA Vulnerabilities , 1997, Journal of Cryptology.

[5]  Kivanc Dincer,et al.  A Comparison of Parallel Graph Coloring Algorithms , 1995 .

[6]  Tetsuo Shibuya,et al.  Indexing huge genome sequences for solving various problems. , 2001, Genome informatics. International Conference on Genome Informatics.

[7]  David S. Johnson,et al.  Cliques, Coloring, and Satisfiability , 1996 .

[8]  D. E. Vengroff Tpie user manual and reference , 1995 .

[9]  Jeffery R. Westbrook,et al.  A Functional Approach to External Graph Algorithms , 1998, Algorithmica.

[10]  David S. Johnson,et al.  A theoretician's guide to the experimental analysis of algorithms , 1999, Data Structures, Near Neighbor Searches, and Methodology.

[11]  Daniele Frigioni,et al.  Fully Dynamic Shortest Paths and Negative Cycles Detection on Digraphs with Arbitrary Arc Weights , 1998, ESA.

[12]  Krzysztof Diks,et al.  A Fast Parallel Algorithm for Six-Colouring of Planar Graphs (Extended Abstract) , 1986, MFCS.

[13]  R. Bayer,et al.  Organization and maintenance of large ordered indices , 1970, SIGFIDET '70.

[14]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.

[15]  Ruben W. Castelino,et al.  Internal Organization of the Alpha 21164, a 300-MHz 64-bit Quad-issue CMOS RISC Microprocessor , 1995, Digit. Tech. J..

[16]  Cláudio T. Silva,et al.  Out-Of-Core Rendering of Large, Unstructured Grids , 2001, IEEE Computer Graphics and Applications.

[17]  WILLIAM FLETCHER Algorithm 284: Interchange of Two Blocks of Data , 1966, CACM.

[18]  Jyh-Jong Tsay,et al.  External-memory computational geometry , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[19]  Peter J. Varman,et al.  Optimal prefetching and caching for parallel I/O sytems , 2001, SPAA '01.

[20]  P. Berman,et al.  Improvements in Throughput Maximization for Real-Time Scheduling , 1999 .

[21]  Matthew H. Austern Generic programming and the STL - using and extending the C++ standard template library , 1999, Addison-Wesley professional computing series.

[22]  E T. Leighton,et al.  Introduction to parallel algorithms and architectures , 1991 .

[23]  Gerhard J. Woeginger,et al.  An On-Line Scheduling Heuristic With Better Worst Case Ratio Than Graham's List Scheduling , 1993, SIAM J. Comput..

[24]  Afonso Ferreira,et al.  Efficient Parallel Graph Algorithms for Coarse-Grained Multicomputers and BSP , 2002, Algorithmica.

[25]  E. G. Coffman,et al.  A Note on Expected Makespans for Largest-First Sequences of Independent Tasks on Two Processors , 1984, Math. Oper. Res..

[26]  David B. Lomet,et al.  AlphaSort: a RISC machine sort , 1994, SIGMOD '94.

[27]  C.H. Papadimitriou,et al.  On selecting a satisfying truth assignment , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[28]  Uzi Vishkin,et al.  On Finding Lowest Common Ancestors: Simplification and Parallelization , 1988, AWOC.

[29]  Donald E. Knuth,et al.  The Stanford GraphBase - a platform for combinatorial computing , 1993 .

[30]  Leslie G. Valiant,et al.  A fast parallel algorithm for routing in permutation networks , 1981, IEEE Transactions on Computers.

[31]  Frank Dehne,et al.  Randomized parallel list ranking for distributed memory multiprocessors , 1996, International Journal of Parallel Programming.

[32]  Michael T. Goodrich,et al.  GeomNet: Geometric Computing Over the Internet , 1999, IEEE Internet Comput..

[33]  György Turán,et al.  On the performance of on-line algorithms for partition problems , 1989, Acta Cybern..

[34]  Jing Wu,et al.  A locality-preserving cache-oblivious dynamic dictionary , 2002, SODA '02.

[35]  Thomas W. Reps,et al.  On the Computational Complexity of Dynamic Graph Problems , 1996, Theor. Comput. Sci..

[36]  Francis Y. L. Chin,et al.  Algorithms for Updating Minimal Spanning Trees , 1978, J. Comput. Syst. Sci..

[37]  David G. Kirkpatrick,et al.  Optimal Search in Planar Subdivisions , 1983, SIAM J. Comput..

[38]  Michael W. Carter,et al.  OR Practice - A Survey of Practical Applications of Examination Timetabling Algorithms , 1986, Oper. Res..

[39]  Michael Pohst,et al.  Algorithmic algebraic number theory , 1989, Encyclopedia of mathematics and its applications.

[40]  Kurt Mehlhorn,et al.  LEDA-SM Extending LEDA to Secondary Memory , 1999, Algorithm Engineering.

[41]  Stephen G. Nash,et al.  Guidelines for reporting results of computational experiments. Report of the ad hoc committee , 1991, Math. Program..

[42]  Robert Sedgewick,et al.  A system for algorithm animation , 1984, SIGGRAPH.

[43]  J. Broach,et al.  The dynamic source routing protocol for mobile ad-hoc networks , 1998 .

[44]  Gilbert Laporte,et al.  Examination timetabling by computer , 1982, Comput. Oper. Res..

[45]  Antoine Joux,et al.  Lattice Reduction: A Toolbox for the Cryptanalyst , 1998, Journal of Cryptology.

[46]  Ken Kennedy,et al.  Improving register allocation for subscripted variables , 1990, PLDI '90.

[47]  Lance M. Berc,et al.  Continuous profiling: where have all the cycles gone? , 1997, ACM Trans. Comput. Syst..

[48]  Erkki Sutinen,et al.  Animation of user algorithms on the Web , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[49]  Oded Goldreich,et al.  Public-Key Cryptosystems from Lattice Reduction Problems , 1996, CRYPTO.

[50]  Steven Skiena,et al.  The Algorithm Design Manual , 2020, Texts in Computer Science.

[51]  Thomas H. Cormen,et al.  Columnsort lives! an efficient out-of-core sorting program , 2001, SPAA '01.

[52]  Naila Rahman,et al.  Adapting Radix Sort to the Memory Hierarchy , 2001, JEAL.

[53]  Ulrich Meyer,et al.  An experimental study of priority queues in external memory , 1999, JEAL.

[54]  Vinay S. Pai,et al.  Prefetching with multiple disks for external mergesort: simulation and analysis , 1992, [1992] Eighth International Conference on Data Engineering.

[55]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

[56]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[57]  Marek Chrobak,et al.  Optimal Parallel 5-Colouring of Planar Graphs , 1989, SIAM J. Comput..

[58]  Miklós Ajtai,et al.  Generating Hard Instances of Lattice Problems , 1996, Electron. Colloquium Comput. Complex..

[59]  Susanne Albers,et al.  Minimizing stall time in single and parallel disk systems , 1998, STOC '98.

[60]  Jeffrey Scott Vitter,et al.  Bkd-Tree: A Dznamic Scalable kd-Tree , 2003, SSTD.

[61]  Ulrich Meyer,et al.  Algorithms and Experiments for the Webgraph , 2003, ESA.

[62]  Daniele Frigioni,et al.  Fully Dynamic Algorithms for Maintaining Shortest Paths Trees , 2000, J. Algorithms.

[63]  Christopher J. Van Wyk,et al.  Static analysis yields efficient exact integer arithmetic for computational geometry , 1996, TOGS.

[64]  Ramesh C. Agarwal,et al.  A super scalar sort algorithm for RISC processors , 1996, SIGMOD '96.

[65]  Thomas W. Reps,et al.  An Incremental Algorithm for a Generalization of the Shortest-Path Problem , 1996, J. Algorithms.

[66]  M. Satyanarayanan,et al.  Mobile computing , 1993, Computer.

[67]  Geert-Jan Giezeman,et al.  On the design of CGAL a computational geometry algorithms library , 2000, Softw. Pract. Exp..

[68]  Domenico Cantone,et al.  QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms , 2000, CIAC.

[69]  Fujio Yamaguchi,et al.  Curves and Surfaces in Computer Aided Geometric Design , 1988, Springer Berlin Heidelberg.

[70]  Giuseppe Cattaneo,et al.  An empirical study of dynamic graph algorithms , 1996, SODA '96.

[71]  David P. Williamson,et al.  Scheduling Parallel Machines On-Line , 1995, SIAM J. Comput..

[72]  Geert-Jan Giezeman,et al.  The CGAL Kernel: A Basis for Geometric Computation , 1996, WACG.

[73]  Sven Schuierer,et al.  Vega - a user-centered approach to the distributed visualization of geometric algorithms , 1998 .

[74]  Peter Sanders,et al.  Accessing Multiple Sequences Through Set Associative Caches , 1999, ICALP.

[75]  Monica S. Lam,et al.  The cache performance and optimizations of blocked algorithms , 1991, ASPLOS IV.

[76]  Ulrik Brandes,et al.  Using Graph Layout to Visualize Train Interconnection Data , 1998, Graph Drawing.

[77]  Christos H. Papadimitriou,et al.  On the Greedy Algorithm for Satisfiability , 1992, Information Processing Letters.

[78]  Byungki Cha,et al.  Local Search Algorithms for Partial MAXSAT , 1997, AAAI/IAAI.

[79]  Gaston H. Gonnet,et al.  New Indices for Text: Pat Trees and Pat Arrays , 1992, Information Retrieval: Data Structures & Algorithms.

[80]  Byungki Cha,et al.  Adding New Clauses for Faster Local Search , 1996, AAAI/IAAI, Vol. 1.

[81]  Enrico Pagello,et al.  Balancing Reactivity and Social Deliberation in Multi-Agent Systems , 2001, Lecture Notes in Computer Science.

[82]  Donald L. Shell,et al.  A high-speed sorting procedure , 1959, CACM.

[83]  David Corne,et al.  Evolutionary Timetabling: Practice, Prospects and Work in Progress , 1994 .

[84]  Edmund K. Burke,et al.  A Memetic Algorithm for University Exam Timetabling , 1995, PATAT.

[85]  Jacques Patarin,et al.  The Knapsack Hash Function proposed at Crypto'89 can be broken , 1991, EUROCRYPT.

[86]  Michael J. Vilot,et al.  Standard template library , 1996 .

[87]  Jun Gu,et al.  Efficient local search for very large-scale satisfiability problems , 1992, SGAR.

[88]  Joan Boyar,et al.  Coloring Planar Graphs in Parallel , 1987, J. Algorithms.

[89]  Mauricio G. C. Resende,et al.  A GRASP for satisfiability , 1993, Cliques, Coloring, and Satisfiability.

[90]  Camil Demetrescu,et al.  Smooth Animation of Algorithms in a Declarative Framework , 2001, J. Vis. Lang. Comput..

[91]  Jeffrey Scott Vitter,et al.  Implementing I/O-efficient Data Structures Using TPIE , 2002, ESA.

[92]  Alok Aggarwal,et al.  The input/output complexity of sorting and related problems , 1988, CACM.

[93]  D. de Werra,et al.  An introduction to timetabling , 1985 .

[94]  Charles E. Perkins,et al.  Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.

[95]  Zygmunt J. Haas,et al.  The performance of a new routing protocol for the reconfigurable wireless networks , 1998, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220).

[96]  Ralph Johnson,et al.  Design patterns: elements of reuseable object-oriented software , 1994 .

[97]  J. Vitter,et al.  On Sorting Strings in External Memory , 1997 .

[98]  Bruce A. Reed,et al.  Building Heaps Fast , 1989, J. Algorithms.

[99]  Erik D Vengroff,et al.  I/O Efficient Scientific Computation Using TPIE , 1995 .

[100]  Jacques Carlier,et al.  SAT versus UNSAT , 1993, Cliques, Coloring, and Satisfiability.

[101]  J. Kruskal On the shortest spanning subtree of a graph and the traveling salesman problem , 1956 .

[102]  Jörg-Rüdiger Sack,et al.  I/o-efficient algorithms for shortest path related problems , 2002 .

[103]  M. Garey,et al.  Minimizing expected makespans on uniform processor systems , 1987, Advances in Applied Probability.

[104]  Susanne Albers,et al.  Better bounds for online scheduling , 1997, STOC '97.

[105]  Tom Nelson Disk-based container objects , 1998 .

[106]  Charles E. Leiserson,et al.  Cache-Oblivious Algorithms , 2003, CIAC.

[107]  Jeffrey Scott Vitter,et al.  I/O-efficient dynamic point location in monotone planar subdivisions , 1999, SODA '99.

[108]  Jan H. M. Korst Random duplicated assignment: an alternative to striping in video servers , 1997, MULTIMEDIA '97.

[109]  David Avis,et al.  A survey of heuristics for the weighted matching problem , 1983, Networks.

[110]  Yuval Rabani,et al.  A Better Lower Bound for On-Line Scheduling , 1994, Inf. Process. Lett..

[111]  Karsten Weihe,et al.  Dijkstra's algorithm on-line: an empirical case study from public railroad transport , 1999, JEAL.

[112]  Bart Selman,et al.  Local search strategies for satisfiability testing , 1993, Cliques, Coloring, and Satisfiability.

[113]  Jesper Larsson Träff,et al.  A Practical Minimum Spanning Tree Algorithm Using the Cycle Property , 2003, ESA.

[114]  Takuji Nishimura,et al.  Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator , 1998, TOMC.

[115]  Nancy M. Amato,et al.  STAPL: An Adaptive, Generic Parallel C++ Library , 2001, LCPC.

[116]  R. Battiti,et al.  Covering Trains by Stations or the Power of Data Reduction , 1998 .

[117]  Paolo Ferragina,et al.  A Theoretical and Experimental Study on the Construction of Suffix Arrays in External Memory , 2001, Algorithmica.

[118]  Shaogang Gong,et al.  Audio- and Video-based Biometric Person Authentication , 1997, Lecture Notes in Computer Science.

[119]  Srinivas Aluru,et al.  Space efficient linear time construction of suffix arrays , 2003, J. Discrete Algorithms.

[120]  S. Dvorák,et al.  Merging by Decomposition Revisited , 1988, Comput. J..

[121]  Rolf Niedermeier,et al.  Towards optimal locality in mesh-indexings , 1997, Discret. Appl. Math..

[122]  Garth A. Gibson,et al.  RAID: high-performance, reliable secondary storage , 1994, CSUR.

[123]  Agnar Aamodt,et al.  Case-Based Reasoning Research and Development , 1995, Lecture Notes in Computer Science.

[124]  Sridhar Ramaswamy,et al.  A Unified Approach for Indexed and Non-Indexed Spatial Joins , 2000, EDBT.

[125]  Siu-Ming Yiu,et al.  A Space and Time Efficient Algorithm for Constructing Compressed Suffix Arrays , 2002, COCOON.

[126]  Andrew Rau-Chaplin,et al.  Scalable parallel computational geometry for coarse grained multicomputers , 1996, Int. J. Comput. Geom. Appl..

[127]  Kathryn A. Dowsland,et al.  A robust simulated annealing based examination timetabling system , 1998, Comput. Oper. Res..

[128]  Thomas Erlebach Scheduling connections in fast networks , 1999 .

[129]  Remco C. Veltkamp,et al.  Applications of the Generic Programming Paradigm in the Design of CGAL , 1998, Generic Programming.

[130]  Amos Fiat,et al.  New algorithms for an ancient scheduling problem , 1992, STOC '92.

[131]  Bjorn Poonen,et al.  The Worst Case in Shellsort and Related Algorithms , 1993, J. Algorithms.

[132]  Kurt Mehlhorn,et al.  LEDA: a platform for combinatorial and geometric computing , 1997, CACM.

[133]  Robin Thomas,et al.  Efficiently four-coloring planar graphs , 1996, STOC '96.

[134]  Yahiko Kambayashi,et al.  Database Queries as Combinatorial Optimization Problems , 1996, CODAS.

[135]  John L. Mohammed,et al.  An Improved Block-Interchange Algorithm , 1987, J. Algorithms.

[136]  John Domingue,et al.  Software visualization : programming as a multimedia experience , 1998 .

[137]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[138]  Zygmunt J. Haas,et al.  The zone routing protocol (zrp) for ad hoc networks" intemet draft , 2002 .

[139]  John N. Hooker,et al.  Testing heuristics: We have it all wrong , 1995, J. Heuristics.

[140]  Reuven Bar-Yehuda,et al.  A unified approach to approximating resource allocation and scheduling , 2001, JACM.

[141]  Leonidas J. Guibas,et al.  Optimal Point Location in a Monotone Subdivision , 1986, SIAM J. Comput..

[142]  Kurt Mehlhorn,et al.  External-Memory Breadth-First Search with Sublinear I/O , 2002, ESA.

[143]  Ching-Kuang Shene An Analysis of Two In-Place Array Rotation Algorithms , 1997, Comput. J..

[144]  Gruia-Catalin Roman,et al.  Pavane: a system for declarative visualization of concurrent computations , 1992, J. Vis. Lang. Comput..

[145]  David B. Shmoys,et al.  Scheduling to minimize average completion time: off-line and on-line algorithms , 1996, SODA '96.

[146]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[147]  Ernst-Erich Doberkat,et al.  An Average Case Analysis of Floyd's Algorithm to Construct Heaps , 1984, Inf. Control..

[148]  D. E. Vengro A transparent parallel I/O environment , 1994 .

[149]  Joseph Naor,et al.  A Fast Parallel Coloring of Planar Graphs with Five Colors , 1987, Inf. Process. Lett..

[150]  Paul R. Cohen,et al.  How to Find Big-Oh in Your Data Set (and How Not to) , 1997, IDA.

[151]  Karsten Weihe,et al.  On the Hardness of Recognizing Bundles in Time Table Graphs , 1999, WG.

[152]  L FredmanMichael,et al.  Fibonacci heaps and their uses in improved network optimization algorithms , 1987 .

[153]  G. Ramalingam Bounded Incremental Computation , 1996, Lecture Notes in Computer Science.

[154]  Jan Vahrenhold External memory algorithms for geographic information systems , 1999 .

[155]  Michael A. Bender,et al.  Cache-oblivious priority queue and graph algorithm applications , 2002, STOC '02.

[156]  David P. Dobkin,et al.  Visualization of Geometric Algorithms , 1995, IEEE Trans. Vis. Comput. Graph..

[157]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[158]  Andrew V. Goldberg,et al.  Selecting Problems for Algorithm Evaluation , 1999, WAE.

[159]  Byungki Cha,et al.  Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas , 1995, IJCAI.

[160]  Vivek Singhal,et al.  Texas: An Efficient, Portable Persistent Store , 1992, POS.

[161]  Klaus Jansen,et al.  Efficient implementation of an optimal greedy algorithm for wavelength assignment in directed tree networks , 1999, JEAL.

[162]  Raimund Seidel,et al.  On the exact worst case query complexity of planar point location , 2000, SODA '98.

[163]  Ketan Mulmuley,et al.  Computational geometry : an introduction through randomized algorithms , 1993 .

[164]  Michael T. Goodrich,et al.  Teaching the analysis of algorithms with visual proofs , 1998, SIGCSE '98.

[165]  D. J. Wheeler,et al.  A Block-sorting Lossless Data Compression Algorithm , 1994 .

[166]  Edward F. Grove,et al.  External-memory graph algorithms , 1995, SODA '95.

[167]  Richard J. Lipton,et al.  Multidimensional Searching Problems , 1976, SIAM J. Comput..

[168]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[169]  Robert E. Tarjan,et al.  Planar point location using persistent search trees , 1986, CACM.

[170]  Ron Shamir,et al.  Clustering Gene Expression Patterns , 1999, J. Comput. Biol..

[171]  Susanne Wetzel,et al.  New Results on Lattice Basis Reduction in Practice , 2000, ANTS.

[172]  Klaus Jansen,et al.  Optimal Wavelength Routing on Directed Fiber Trees , 1999, Theor. Comput. Sci..

[173]  Klaus Jansen,et al.  An optimal greedy algorithm for wavelength allocation in directed tree networks , 1997, Network Design: Connectivity and Facilities Location.

[174]  Klaus Jansen,et al.  Maximizing the Number of Connections in Optical Tree Networks , 1998, ISAAC.

[175]  Susanne Wetzel,et al.  LiDIA—a library for computational number theory , 1997, SIGS.

[176]  Jirí Sgall,et al.  On-line Scheduling , 1996, Online Algorithms.

[177]  William M. Spears,et al.  Simulated annealing for hard satisfiability problems , 1993, Cliques, Coloring, and Satisfiability.

[178]  Andrew V. Goldberg,et al.  Shortest paths algorithms: Theory and experimental evaluation , 1994, SODA '94.

[179]  Edward G. Coffman,et al.  Expected Makespans for Largest-First Multiprocessor Scheduling , 1984, Performance.

[180]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[181]  Isabelle Guérin Lassous,et al.  Feasability, Portability, Predictability and Efficiency: Four Ambitious Goals for the Design and Implementation of Parallel Coarse Grained Graph Algorithms , 2000 .

[182]  Giuseppe F. Italiano,et al.  Maintaining Spanning Trees of Small Diameter , 1994, ICALP.

[183]  Ray Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

[184]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[185]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.

[186]  Anna R. Karlin,et al.  Near-Optimal Parallel Prefetching and Caching , 2000, SIAM J. Comput..

[187]  Rahim Tafazolli,et al.  RDMAR: a bandwidth-efficient routing protocol for mobile ad hoc networks , 1999, WOWMOM '99.

[188]  Seth Pettie,et al.  An optimal minimum spanning tree algorithm , 2000, JACM.

[189]  Kurt Mehlhorn,et al.  Randomized external-memory algorithms for some geometric problems , 1998, SCG '98.

[190]  Peter Sanders,et al.  Fast priority queues for cached memory , 1999, JEAL.

[191]  Eugene W. Myers,et al.  Suffix arrays: a new method for on-line string searches , 1993, SODA '90.

[192]  Peter Sanders Lastverteilungsalgorithmen für parallele Tiefensuche , 1997 .

[193]  Kamesh Munagala,et al.  I/O-complexity of graph algorithms , 1999, SODA '99.

[194]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[195]  Nirbhay K. Mehta The Application of a Graph Coloring Method to an Examination Scheduling Problem , 1981 .

[196]  Stanley A. Kurzban,et al.  Operating systems principles , 1975 .

[197]  Daniele Frigioni,et al.  Experimental analysis of dynamic algorithms for the single source shortest paths problem , 1998, JEAL.

[198]  Giuseppe Liotta,et al.  Visualizing geometric algorithms over the Web , 1999, Comput. Geom..

[199]  Ivan Damgård,et al.  A Design Principle for Hash Functions , 1989, CRYPTO.

[200]  Pankaj K. Agarwal,et al.  CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries , 2003, ICDT.

[201]  Russ Bubley,et al.  Randomized algorithms , 1995, CSUR.

[202]  Bart Selman,et al.  An Empirical Study of Greedy Local Search for Satisfiability Testing , 1993, AAAI.

[203]  A. Goldberg,et al.  A heuristic improvement of the Bellman-Ford algorithm , 1993 .

[204]  Peter Sanders,et al.  Fast Concurrent Access to Parallel Disks , 2000, SODA '00.

[205]  Rossella Petreschi,et al.  Reversible Execution and Visualization of Programs with LEONARDO , 2000, J. Vis. Lang. Comput..

[206]  Mark Allen Weiss Empirical Study of the Expected Running Time of Shellsort , 1991, Comput. J..

[207]  Lars Arge,et al.  The Buffer Tree: A New Technique for Optimal I/O Algorithms , 1996 .

[208]  Daniele Frigioni,et al.  Fully dynamic output bounded single source shortest path problem , 1996, SODA '96.

[209]  Stefan Nilsson Radix Sorting & Searching , 1996 .

[210]  Hiroyuki Ochi,et al.  Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification , 1991, CAV.

[211]  Sudipto Guha,et al.  Approximating the throughput of multiple machines under real-time scheduling , 1999, STOC '99.

[212]  J. G. Pierce,et al.  Geometric Algorithms and Combinatorial Optimization , 2016 .

[213]  Robert E. Tarjan,et al.  Fibonacci heaps and their uses in improved network optimization algorithms , 1984, JACM.

[214]  Jan van Leeuwen,et al.  Handbook Of Theoretical Computer Science, Vol. A , 1990 .

[215]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[216]  Paul G. Spirakis,et al.  Fundamental control algorithms in mobile networks , 1999, SPAA '99.

[217]  Steven E. Hampson,et al.  Large plateaus and plateau search in Boolean Satisfiability problems: When to give up searching and start again , 1993, Cliques, Coloring, and Satisfiability.

[218]  Jim Gray,et al.  Nsort: a Parallel Sorting Program for NUMA and SMP Machines , 2000 .

[219]  Frank Bauernöppel,et al.  Fast parallel vertex colouring , 1985, FCT.

[220]  Takao Asano,et al.  A new point-location algorithm and its practical efficiency: comparison with existing algorithms , 1984, TOGS.

[221]  Michael T. Goodrich,et al.  Testers and visualizers for teaching data structures , 1999, SIGCSE '99.

[222]  Dominik Schultes External Memory Minimum Spanning Trees , 2003 .

[223]  Martin W. P. Savelsbergh,et al.  An experimental study of LP-based approximation algorithms for scheduling problems , 1998, SODA '98.

[224]  Jonathan Richard Shewchuk,et al.  Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates , 1997, Discret. Comput. Geom..

[225]  Jarke J. van Wijk,et al.  A survey of computational steering environments , 1999, Future Gener. Comput. Syst..

[226]  David R. Musser,et al.  STL tutorial and reference guide - C++ programming with the standard template library , 1996, Addison-Wesley professional computing series.

[227]  Frank B. Schmuck,et al.  GPFS: A Shared-Disk File System for Large Computing Clusters , 2002, FAST.

[228]  Frank Harary,et al.  Graph Theory , 2016 .

[229]  Jeffrey Scott Vitter,et al.  External memory algorithms and data structures: dealing with massive data , 2001, CSUR.

[230]  Berthold Vöcking,et al.  Balanced allocations: the heavily loaded case , 2000, STOC '00.

[231]  Micha Sharir,et al.  Davenport-Schinzel sequences and their geometric applications , 1995, Handbook of Computational Geometry.

[232]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[233]  Mihalis Yannakakis,et al.  Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover , 1993, ICALP.

[234]  Kihong Kim,et al.  Sibling clustering of tree-based spatial indexes for efficient spatial query processing , 1998, CIKM '98.

[235]  Sanguthevar Rajasekaran,et al.  A Framework for Simple Sorting Algorithms on Parallel Disk Systems , 2001, SPAA '98.

[236]  Nitin H. Vaidya,et al.  Location-aided routing (LAR) in mobile ad hoc networks , 1998, MobiCom '98.

[237]  Isabelle Guérin Lassous,et al.  List Ranking on a Coarse Grained Multiprocessor , 1999 .

[238]  Umberto Ferraro Petrillo,et al.  Cooperative Algorithm and Data Types Animation over the Internet , 1998, FOCS 1998.

[239]  Brigitte Jaumard,et al.  Tabu search and a quadratic relaxation for the Satisfiability problem , 1993, Cliques, Coloring, and Satisfiability.

[240]  Giuseppe Cattaneo,et al.  Experimental analysis of dynamic minimum spanning tree algorithms , 1997, SODA '97.

[241]  Enno Ohlebusch,et al.  The Enhanced Suffix Array and Its Applications to Genome Analysis , 2002, WABI.

[242]  Hector J. Levesque,et al.  Hard and Easy Distributions of SAT Problems , 1992, AAAI.

[243]  Iddo Hanniel,et al.  The Design and Implementation of Planar Maps in CGAL , 1999, WAE.

[244]  Bowen Alpern,et al.  A model for hierarchical memory , 1987, STOC.

[245]  Alessandro Panconesi,et al.  An Experimental Analysis of Simple, Distributed Vertex Coloring Algorithms , 2002, SODA '02.

[246]  M. H. van Emden Increasing the efficiency of quicksort , 1970, CACM.

[247]  Robert E. Tarjan,et al.  Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time , 1992, SIAM J. Comput..

[248]  Jirí Sgall A Lower Bound for Randomized On-Line Multiprocessor Scheduling , 1997, Inf. Process. Lett..

[249]  Frank Harary,et al.  Matrix measures for transitivity and balance , 1979 .

[250]  Pang Ko,et al.  Linear Time Construction of Suffix Arrays , 2002 .

[251]  David P. Dobkin,et al.  Making Geometry Visible: An Introduction to the Animation of Geometric Algorithms , 2000, Handbook of Computational Geometry.

[252]  John von Neumann,et al.  First draft of a report on the EDVAC , 1993, IEEE Annals of the History of Computing.

[253]  Robert E. Tarjan,et al.  Amortized efficiency of list update and paging rules , 1985, CACM.

[254]  Luca Di Gaspero,et al.  Tabu Search Techniques for Examination Timetabling , 2000, PATAT.

[255]  Randy H. Katz,et al.  A case for redundant arrays of inexpensive disks (RAID) , 1988, SIGMOD '88.

[256]  Daniele Pretolani,et al.  Efficiency and stability of hypergraph SAT algorithms , 1993, Cliques, Coloring, and Satisfiability.

[257]  Claus-Peter Schnorr,et al.  Lattice basis reduction: Improved practical algorithms and solving subset sum problems , 1991, FCT.

[258]  Bernhard Seeger,et al.  javax.XXL: a prototype for a library of query processing algorithms , 2000, SIGMOD '00.

[259]  BojesenJesper,et al.  Performance engineering case study , 2000 .

[260]  Michael H. Goldwasser An implementation for maintaining arrangements of polygons , 1995, SCG '95.

[261]  Ian P. Gent,et al.  Unsatisfied Variables in Local Search , 1995 .

[262]  Alan M. Frieze,et al.  Reconstructing Truncated Integer Variables Satisfying Linear Congruences , 1988, SIAM J. Comput..

[263]  Cynthia Dwork,et al.  A public-key cryptosystem with worst-case/average-case equivalence , 1997, STOC '97.

[264]  Robert E. Tarjan,et al.  Sensitivity Analysis of Minimum Spanning Trees and Shortest Path Trees , 1982, Inf. Process. Lett..

[265]  Thomas Gschwind PSTL-A C++ Persistent Standard Template Library , 2001, COOTS.

[266]  Andrew V. Goldberg,et al.  Negative-cycle detection algorithms , 1996, Math. Program..

[267]  Ulrik Brandes,et al.  Empirical design of geometric algorithms , 1999, SCG '99.

[268]  GhemawatSanjay,et al.  The Google file system , 2003 .

[269]  Romeo Rizzi Finding 1-Factors in Bipartite Regular Graphs and Edge-Coloring Bipartite Graphs , 2002, SIAM J. Discret. Math..

[270]  Enrico Nardelli,et al.  Finding All the Best Swaps of a Minimum Diameter Spanning Tree Under Transient Edge Failures , 1998, J. Graph Algorithms Appl..

[271]  Ronald D. Dutton,et al.  Weak-heap sort , 1993, BIT.

[272]  Elizabeth M. Belding-Royer,et al.  A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..

[273]  Ingo Wegener BOTTOM-UP-HEAPSORT, a New Variant of HEAPSORT, Beating, on an Average, QUICKSORT (if n is not Very Small) , 1993, Theor. Comput. Sci..

[274]  David Thomas,et al.  The Art in Computer Programming , 2001 .

[275]  Peter Sanders,et al.  Asynchronous parallel disk sorting , 2003, SPAA '03.

[276]  Enrico Nardelli,et al.  How to Swap a Failing Edge of a Single Source Shortest Paths Tree , 1999, COCOON.

[277]  Yi-Jen Chiang,et al.  Experiments on the Practical I/O Efficiency of Geometric Algorithms: Distribution Sweep vs. Plane Sweep , 1995, WADS.

[278]  P. Sopp Cluster analysis. , 1996, Veterinary immunology and immunopathology.

[279]  K. Reinhardt Sorting In-Place with a Worst Case Complexity of n log n − 1 . 3 n + O ( log n ) Comparisons and ε n log n + O ( 1 ) Transports ∗ , 1992 .

[280]  Richard E. Ladner,et al.  Cache performance analysis of traversals and random accesses , 1999, SODA '99.

[281]  MehlhornKurt,et al.  LEDA: a platform for combinatorial and geometric computing , 1995 .

[282]  Robert J. T. Morris,et al.  The evolution of storage systems , 2003, IBM Syst. J..

[283]  David J. Aldous,et al.  Lower bounds for covering times for reversible Markov chains and random walks on graphs , 1989 .

[284]  Teuvo Kohonen,et al.  The self-organizing map , 1990, Neurocomputing.

[285]  Uwe Schöning A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems , 1999, FOCS.

[286]  Anna R. Karlin,et al.  Implementation and performance of integrated application-controlled file caching, prefetching, and disk scheduling , 1996, TOCS.

[287]  Naila Rahman,et al.  Analysing cache effects in distribution sorting , 1999, JEAL.

[288]  Edward F. Grove,et al.  Simple randomized mergesort on parallel disks , 1996, SPAA '96.

[289]  David R. Karger,et al.  A better algorithm for an ancient scheduling problem , 1994, SODA '94.

[290]  Jacques Stern,et al.  Cryptanalysis of a Fast Public Key Cryptosystem Presented at SAC '97 , 1998, Selected Areas in Cryptography.

[291]  Richard E. Ladner,et al.  The influence of caches on the performance of sorting , 1997, SODA '97.

[292]  Mark T. Jones,et al.  A Parallel Graph Coloring Heuristic , 1993, SIAM J. Sci. Comput..

[293]  Paul Morris,et al.  The Breakout Method for Escaping from Local Minima , 1993, AAAI.

[294]  Refael Hassin,et al.  On the Minimum Diameter Spanning Tree Problem , 1995, Inf. Process. Lett..

[295]  Marc Najork,et al.  Collaborative Active Textbooks: a Web-based algorithm animation system for an electronic classroom , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[296]  Leonidas J. Guibas,et al.  Snap rounding line segments efficiently in two and three dimensions , 1997, SCG '97.

[297]  Robert E. Tarjan,et al.  Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[298]  Donald E. Knuth,et al.  The art of computer programming: sorting and searching (volume 3) , 1973 .

[299]  Berthold Vöcking,et al.  How asymmetry helps load balancing , 1999, JACM.

[300]  Robert Sedgewick,et al.  Analysis of Shellsort and Related Algorithms , 1996, ESA.

[301]  John N. Hooker,et al.  Needed: An Empirical Science of Algorithms , 1994, Oper. Res..

[302]  Mahadev Satyanarayanan,et al.  Scale and performance in a distributed file system , 1987, SOSP '87.

[303]  Nina Amenta,et al.  Computational geometry software , 1997 .

[304]  Daniele Frigioni,et al.  An Experimental Study of Dynamic Algorithms for Directed Graphs , 1998, ESA.

[305]  George Karypis,et al.  Introduction to Parallel Computing , 1994 .

[306]  Jop F. Sibeyn,et al.  From parallel to external list ranking , 1997 .

[307]  Eli Upfal,et al.  Balanced Allocations , 1999, SIAM J. Comput..

[308]  Noga Alon A simple algorithm for edge-coloring bipartite multigraphs , 2003, Inf. Process. Lett..

[309]  Jim Wyllie,et al.  SPsort: How to Sort a Terabyte Quickly , 1999 .

[310]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .

[311]  D. J. A. Welsh,et al.  An upper bound for the chromatic number of a graph and its application to timetabling problems , 1967, Comput. J..

[312]  Jon Louis Bentley,et al.  Programming pearls , 1987, CACM.

[313]  Krzysztof Dudzinski,et al.  On a Stable Minimum Storage Merging Algorithm , 1981, Inf. Process. Lett..

[314]  Yuichi Asahiro,et al.  Random generation of test instances with controlled attributes , 1993, Cliques, Coloring, and Satisfiability.

[315]  Kazuhisa Makino,et al.  A simple matching algorithm for regular bipartite graphs , 2002, Inf. Process. Lett..

[316]  Daniele Frigioni,et al.  Semi-Dynamic Shortest Paths and Breadth-First Search in Digraphs , 1997, STACS.

[317]  R. Cole Two Problems in Graph Theory , 1982 .

[318]  Allen Van Gelder,et al.  Satisfiability testing with more reasoning and less guessing , 1995, Cliques, Coloring, and Satisfiability.

[319]  Kurt Mehlhorn,et al.  LEDA-SM a platform for secondary memory computations , 1999 .

[320]  Klaus H. Hinrichs,et al.  Efficient Bulk Operations on Dynamic R-Trees , 2001, Algorithmica.

[321]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[322]  Vincent Park,et al.  Temporally-Ordered Routing Algorithm (TORA) Version 1 Functional Specification , 2001 .

[323]  Darrell D. E. Long,et al.  Swift: Using Distributed Disk Striping to Provide High I/O Data Rates , 1991, Comput. Syst..

[324]  Juha Kärkkäinen,et al.  Fast Lightweight Suffix Array Construction and Checking , 2003, CPM.