Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5–8, 2000 Proceedings
暂无分享,去创建一个
J. van Leeuwen | P. Sanders | G. Weikum | J. V. Leeuwen | U. Meyer | R. Dementiev | J. Leeuwen | Thorsten Herfet
[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.