Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output

Filter
Article in proceedings
1999

Experiences building a multicomputer of HP SMP servers

Vinter, B., Larsen, T. & Anshus, O. J., 1999, Proceedings of the International Conference on High Performance Computing on Hewlett-Packard Systems. Arabnia, H. (ed.). p. 396-404

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Improving cluster performanceusing a sequentially ordered structured distributed shared memory system

Vinter, B., Anshus, O. J. & Larsen, T., 1999, Proceedings of Norsk Informatik Konferense, Trondheim, 1999. p. 247-259

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Necessary and sufficient conditions for parallel, constant time conversion and addition

Kornerup, P., 1999, Proc.14th IEEE Symposium on Computer Arithmetic(ARITH-14) April 1999. Koren, I. & Kornerup, P. (eds.). IEEE Computer Society Press, p. 152-155

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Accommodating Function: a generalization of the competitive ratio

Boyar, J., Larsen, K. S. & Nielsen, M. N., 1999, Algorithms and Data Structures, 6th International Workshop, WADS '99. Springer, p. 74-79 6 p. (Lecture Notes in Computer Science, Vol. 1663).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2000

Better Bounds on the Accommodating Ratio for the Seat Reservation Problem

Bach, E., Boyar, J., Jiang, T., Larsen, K. S. & Lin, G-H., 2000, Computing and Combinatorics, 6th Annual International Conference, COCOON 2000. p. 221-231 11 p. (Lecture Notes in Computer Science, Vol. 1858).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ComparingThe Performance of the Past Set Distributed Shared Memory System using TCP/IP and M-VIA

Anshus, O. J., Bjørndalen, J. M., Larsen, T. & Vinter, B., 2000, Proceedings of Workshop on Distributed Shared Memory '00. Association for Computing Machinery, p. 93-90

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fair versus Unrestricted Bin Packing

Azar, Y., Boyar, J., Favrholdt, L. M., Larsen, K. S. & Nielsen, M. N., 2000, Algorithm Theory - SWAT 2000, 7th Scandinavian Workshop on Algorithm Theory. p. 200-213 14 p. (Lecture Notes in Computer Science, Vol. 1851).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Masssynthese vier-, sechs- undachtgliedriger ebener Kurbelgetriebe-Anwendung im Kfz-Karosseriebau

Meer, K. & Schreiber, H., 2000, Kurvengetriebe, Koppelgetriebe,gesteuerte Antriebe: Problemlösungen inder Bewegungstechnik; VDI-Getriebetagung 2000.VDI-Gesellschaft Entwicklung, Konstruktion, Vertrieb. VDI-Verlag, p. 277-297

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On-Line Edge-Coloring with a Fixed Number of Colors

Favrholdt, L. M. & Nielsen, M. N., 2000, Foundations of Software Technology and Theoretical Computer Science. p. 106-116 11 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Random matrices and nonexact C*-algebras

Haagerup, U. & Thorbjørnsen, S., 2000, Proceedings of the SFB-Workshop on C*-algebras, University of Munster, Germany, March 1999. Cuntz, J. & Echterhoff, S. (eds.). p. 71-91

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Impact on Bandwidth and Latency Using a Gigabit Network supporting the Virtual Interface Architecture in Hardware

Anshus, O. J., Bjørndalen, J. M., Larsen, T. & Vinter, B., 2000, Proceedings of Norsk Informatik Konference 2000. TAPIR Akademisk Forlag, p. 139-46

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2001

A new Range Reduction Algorithm

Defour, D., Kornerup, P., Muller, J-M. & Revol, N., 2001, Proc. of  the the 35th Asilomar Conference on Signals, Systems, and Computers. IEEE, p. 1656-1660

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Complexity of Layered Binary Search Trees with Relaxed Balance

Jacobsen, L. & Larsen, K. S., 2001, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001. p. 269-284 16 p. (Lecture Notes in Computer Science, Vol. 2202).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Exponentially Decreasing Number of Operations in Balanced Trees

Jacobsen, L. & Larsen, K. S., 2001, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001. p. 293-311 19 p. (Lecture Notes in Computer Science, Vol. 2202).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Relaxed Multi-Way Trees with Group Updates

Larsen, K. S., 2001, Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, p. 93-101 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

RNS Modular Multiplication and Base Conversions

Bajard, J-C., Didier, L-S. & Kornerup, P., 2001, Proc. of 15th IEEE Symposium on Computer Arithmetic (ARITH15), June 2001, IEEE Computer Society.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Search Trees with Relaxed Balance and Near-Optimal Height

Fagerberg, R., Jensen, R. E. & Larsen, K. S., 2001, Algorithms and Data Structures, 7th International Workshop, WADS 2001. p. 414-425 12 p. (Lecture Notes in Computer Science, Vol. 2125).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2002

Extending the Accommodating Function

Boyar, J., Favrholdt, L. M., Larsen, K. S. & Nielsen, M. N., 2002, Computing and Combinatorics, 8th Annual International Conference, COCOON 2002. Springer, p. 87-96 (Lecture Notes in Computer Science, Vol. 2387).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On-Line Maximizing the Number of Items Packed in Variable-Sized Bins

Epstein, L. & Favrholdt, L. M., 2002, Annual International Conference on Computing and Combinatorics. Springer Science+Business Media, p. 467-476 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On Paging with Locality of Reference

Albers, S., Favrholdt, L. M. & Giel, O., 2002, ACM Symposium on Theory of Computing. p. 258-267 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Optimal Non-Preemptive Semi-Online Scheduling to Minimize Makespan on Two Related Machines

Epstein, L. & Favrholdt, L. M., 2002, International Symposium on Mathematical Foundations of Computer Science. Springer Science+Business Media, p. 245-256 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Packet Bundling

Frederiksen, J. S. & Larsen, K. S., 2002, Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory. p. 328-337 10 p. (Lecture Notes in Computer Science, Vol. 2368).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reviewing 4-to-2 Adders for Multi-Operand Addition

Kornerup, P., 2002, Proc. of Conf. Application-Specific Systems, Architectures and Processors (ASAP 2002). IEEE Computer Society Press, p. 218-229

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Scalable Processing and Communication Performance in a Multi-Media Related Context

Anshus, O. J., Bjørndalen, J. M., Bongo, L., Larsen, T. & Vinter, B., 2002, Proceedings of the 28th EuroMicro conference. p. 200-206

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Torsion and the Einstein Equations

Cleyton, R. & Swann, A., 2002, Special Geometric Structures in String Theory, Bonn, 8th-11th September. Alekseevsky, D. V. & Ukendt, M. F. (eds.). 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2003

Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals

Kornerup, P. & Muller, J-M., 2003, Proc. of RNC5, Lyon, Sept. 3-5, 2003.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On-Line Seat Reservations via Off-Line Seating Arrangements

Frederiksen, J. S. & Larsen, K. S., 2003, Algorithms and Data Structures, 8th International Workshop, WADS 2003. p. 174-185 12 p. (Lecture Notes in Computer Science, Vol. 2748).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Revisiting SRT Quotient Digit Selection

Kornerup, P., 2003, Proceedings of the 16th IEEE Symposium on Computer Arithmetic (ARITH16). IEEE Computer Society Press, p. 38-45

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Relative Worst Order Ratio for On-Line Algorithms

Boyar, J. & Favrholdt, L. M., 2003, 5th Italian Conference on Algorithms and Complexity (CIAC 2003). Petreschi, R. . R., Persiano, G. . R. & Silvestri, R. . R. (eds.). Springer, Vol. 2653. p. 58-69 (Lecture Notes in Computer Science, Vol. 2653).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2004

Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths

Brodal, G. S., Fagerberg, R., Meyer, U. & Zeh, N., 2004, Proceedings of Algorithm Theory - SWAT 2004. Hagerup, T. & Katajainen, J. (eds.). Vol. bd.3111. p. 480-492

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Complexity analysis of a semi-infinite optimization problem in interval arithmetic

Meer, K., 2004, Proceedings PARA'04 Workshop on State-of-the-Art in Scientific Computing. Dongarraa, J., Madsen, K. & Wasniewski, J. (eds.). Technical University Denmark, p. 100-105

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Engineering a Cache-Oblivious Sorting Algorithm

Brodal, G. S., Fagerberg, R. & Vinther, K., 2004, Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics.. Arge, L., Italiano, G. F. & Sedgewick, R. (eds.). p. 4-17

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Problems and Conjectures concerning connectivity of tournaments

Bang-Jensen, J. (ed.), 2004, in proceedings of the tenth Midsummer combinatorial workshop in Prague. p. 15-19 (KAM-DIMATIA series in Discrete Mathematics-Combinatorics-Operations Research-Optimization).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Real rank and squaring mappings for unital C*-algebras.

Chigogidze, A., Karasev, A. & Rørdam, M. (ed.), 2004, Proceedings AMS. Vol. 132. p. 783-788

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Relative Worst Order Ratio Applied to Seat Reservation

Boyar, J. & Medvedev, P., 2004, Algorithm Theory - SWAT 2004. Hagerup, T. & Katajainen, J. (eds.). Springer, Vol. 3111. p. 90-101 (Lecture Notes in Computer Science, Vol. 3111).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Transparent long proofs: A first PCP theorem for NPr.

Meer, K., 2004, 31st International Colloquium on Automata, Languages and Programming. Diaz, J., Karhum, J., Lepist, A. & Sannella, D. (eds.). Vol. bd.3142. p. 959-970

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2005

An explicit solution to Post's problem over the reals

Meer, K. & Ziegler, M., 2005, Proceedings of the 15th International Symposium on Fundamentals of Computation Theory. Liskiewicz, M. & Reischuk, R. (eds.). p. 456-467 (Lecture Notes in Computer Science, Vol. 3623).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applying stochastic local search methods to timetabling: an engineering process

Chiarandini, M. & Stuetzle, T., 2005, Proceedings of the 36th Annual Conference of the Italian Operational Research Society. Birattari, M. (ed.). p. 74

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cache-Aware and Cache-Oblivious Adaptive Sorting

Brodal, G. S., Fagerberg, R. & Moruz, G., 2005, Proceeding of the 32nd International Colloquium on Automata, Languages, and Programming. Caires, L., Italiano, G. F., Monteiro, L., Palamidessi, C. & Yung, M. (eds.). Springer Science+Business Media, p. 576-588 (Lecture Notes in Computer Science, Vol. 3580).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cache-Oblivious Planar Orthogonal Range Searching and Counting

Arge, L., Brodal, G. S., Fagerberg, R. & Laustsen, M., 2005, Proceedings of the 21st Annual ACM Symposium on Computational Geometry. Mitchell, J. & Rote, G. (eds.). Association for Computing Machinery, p. 160-169

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Computing Multi-Homogeneous Bézout Numbers is Hard

Malajovich, G. & Meer, K., 2005, Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science. Diekert, V. & Durand, B. (eds.). p. 244-255 (Lecture Notes in Computer Science, Vol. 3404).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Expanding the domain: Variables and functions in an interdisciplinary context between mathematics and physics

Michelsen, C., 2005, Proceedings of The First International Symposium of Mathematics and its Connection to the Arts and Sciences. Beckmann, A., Michelsen, C. & Sriraman, B. (eds.). Verlag Franzbecker, p. 201-214

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid

Welch, P. H., Vinter, B. & Barnes, F. R. M., 2005, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Arabnia, H. R. (ed.). CSREA Press, p. 201-207

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Initian Experiences with GeneRecon on MiG

Mailund, T., Pedersen, P. N. S., Bardino, J., Vinter, B. & Karlsen, H. H., 2005, Proceedings of the 2005 International Conference on Grid Computing and Applications. Ni, H. R. A. J. & Wang, S. (eds.). CSREA Press, p. 141-146

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Minimum intrusion Grid: The Simple Model

Karlsen, H. H. & Vinter, B., 2005, Proceedings of the Fourteenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprices. Shafter, D. F. (ed.). IEEE, p. 305-310

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On some relations between approximation and PCPs over the real numbers

Meer, K., 2005, Proceedings of the Computability in Europe: New Computational Paradigms. Cooper, B., Loewe, B. & Torenvliet, L. (eds.). p. 322-331 (Lecture Notes in Computer Science, Vol. 3526).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On the Adaptiveness of Quicksort

Brodal, G. S., Fagerberg, R. & Moruz, G., 2005, Proceeding of the 7th Workshop on Algorithm Engineering and Experiments. Demetrescu, I. C. & Tamassia, R. (eds.). Society for Industrial and Applied Mathematics, p. 130-140

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Philosophy of Mathematics and Access to Mathematical Objects

Carter, J., 2005, Proceedings of the First International Symposium of Mathematics and its Connections to the Arts and Sciences. Beckman, A., Michelsen, C. & Sriraman, B. (eds.). Verlag Franzbecker Hildesheim, p. 125-133

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Priority Algorithms for Graph Optimization Problems

Borodin, A., Boyar, J. & Larsen, K. S., 2005, Second Workshop on Approximation and Online Algorithms. Persiano, G. & Solis-Oba, R. (eds.). Springer Science+Business Media, p. 126-139 (Lecture Notes in Computer Science, Vol. 3351).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Proceedings of the First Nordic Network of Researchers in Science Communication

Michelsen, C. (ed.), 2005, Ikke angivet. Department of Mathematics and Computer Science, University of Southern Denmark

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review