Randomized and adversarial load balancing
(1999)
Presentation / Conference Contribution
Berenbrink, P., Friedetzky, T., & Steger, A. (1999, December). Randomized and adversarial load balancing. Presented at Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures - SPAA '99
Outputs (3164)
Hierarchies in classes of program schemes (1999)
Journal Article
Arratia-Quesada, A., Chauhan, S., & Stewart, I. (1999). Hierarchies in classes of program schemes. Journal of Logic and Computation, 9(6), 915-957. https://doi.org/10.1093/logcom/9.6.915We begin by proving that the class of problems accepted by the program schemes of NPS is exactly the class of problems defined by the sentences of transitive closure logic (program schemes of NPS are obtained by generalizing basic non-deterministic w... Read More about Hierarchies in classes of program schemes.
A perspective on Lindström quantifiers and oracles (1999)
Book Chapter
Stewart, I. (1999). A perspective on Lindström quantifiers and oracles. In J. Väänänen (Ed.), Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97 Workshop, 11-22 August 1997, Aix-en-Provence, France ; revised lectures (51-71). Springer Verlag. https://doi.org/10.1007/3-540-46583-9_3This paper presents a perspective on the relationship between Lindström quantifiers in model theory and oracle computations in complexity theory. We do not study this relationship here in full generality (indeed, there is much more work to do in orde... Read More about A perspective on Lindström quantifiers and oracles.
On the power of built-in relations in certain classes of program schemes (1999)
Journal Article
Chauhan, S., & Stewart, I. (1999). On the power of built-in relations in certain classes of program schemes. Information Processing Letters, 69(2), 77-82. https://doi.org/10.1016/s0020-0190%2898%2900196-3We completely classify the relative expressibilities of the program schemes of NPS augmented with the built-in relations: linear order; addition; multiplication; and BIT. We employ pebble games allied with some number theory.
Software Design Methods: Life Belt or Leg Iron? (1999)
Journal Article
Budgen, D. (1999). Software Design Methods: Life Belt or Leg Iron?. IEEE Software, 16(5), 135-136. https://doi.org/10.1109/52.795114
The Future of Software (1999)
Journal Article
Brereton, P., Budgen, D., Bennett, K., Munro, M., Layzell, P., Macaulay, L., Griffiths, D., & Stannett, C. (1999). The Future of Software. Communications of the ACM, 42(12), 78-84. https://doi.org/10.1145/322796.322813Companies like British Telecommunications whose business is based on the performance of their software systems, should emphasize accessibility, adaptability, transparency, fail-safe operation, and a human face.
Real-time optical aberration correction with a ferroelectric liquid-crystal spatial light modulator (1998)
Journal Article
Purvis, A., Birch, P., Gourlay, J., & Love, G. (1998). Real-time optical aberration correction with a ferroelectric liquid-crystal spatial light modulator. Macromolecular Symposia, 37(11), 2164-2169
Parallel continuous randomized load balancing (extended abstract) (1998)
Presentation / Conference Contribution
Berenbrink, P., Friedetzky, T., & Mayr, E. W. (1998, December). Parallel continuous randomized load balancing (extended abstract). Presented at Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures - SPAA '98
Hypertext: The next maintenance mountain (1998)
Journal Article
Brereton, P., Budgen, D., & Hamilton, G. (1998). Hypertext: The next maintenance mountain. Computer, 31(12), 49-55. https://doi.org/10.1109/2.735850Hypertext documents are quickly becoming large, complex, and unwieldy. Can lessons learned from software maintenance be applied to the problem?
Investigating Component-Based Maintenance and the Effect of Software Evolution: a reengineering approach using data clustering (1998)
Presentation / Conference Contribution
Burd, E., & Munro, M. (1998, November). Investigating Component-Based Maintenance and the Effect of Software Evolution: a reengineering approach using data clustering