[ Home ] [ People ] [ Education ] [ Research ] [ Publications ] [ Job openings ]

 

Publications

 

PDS publication database

   

Technical Reports and Theses

   

Members only

Match on: author title keywords

Restrict search to the project.

WARNING: This page contains links to PostScript files of articles that may be covered by copyright. You may browse the articles at your convenience. (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, or distributing these files, however, may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

  1. C. van Reeuwijk.
    Crystal: a simple programming language for Custom Computing Machines.
    Technical Report PDS-2004-001, Delft University of Technology, February 2004.

  2. C. van Reeuwijk.
    Rapid and Robust Compiler Construction Using Template-Based Metacompilation.
    In Proceedings of the 12th International Conference on Compiler Construction, Warsaw, Poland, April 2003.

  3. A.I.D. Bucur and D.H.J. Epema.
    Priorities among Multiple Queues for Processor Co-Allocation in Multicluster Systems.
    In Proc. 36th Annual Simulation Symposium, pages 15-27, IEEE Computer Society Press, 2003.

  4. A.I.D. Bucur and D.H.J. Epema.
    The Maximal Utilization of Processor Co-Allocation in Multicluster Systems.
    In Proc. Int'l Parallel and Distributed Processing Symp. (IPDPS), pages 60-69, IEEE Computer Society Press, 2003.

  5. A.I.D. Bucur and D.H.J. Epema.
    The Performance of Processor Co-Allocation in Multicluster Systems.
    In 3rd IEEE/ACM Int'l Symposium on Cluster Computing and the GRID (CCGrid2003), pages 302-309, IEEE Computer Society Press, 2003.

  6. A.I.D. Bucur and D.H.J. Epema.
    Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters.
    In 12th IEEE Int'l Symp. on High Performance Distributed Computing (HPDC-12), pages 70-79, IEEE Computer Society Press, 2003.

  7. J.A. Pouwelse, K.G. Langendoen,, and H.J. Sips.
    Application-Directed Voltage Scaling.
    IEEE Transactions on VLSI Systems, (preprint), 2003.

  8. C. van Reeuwijk, F. Kuijlman, and H.J. Sips.
    Spar: a Set of Extensions to Java for Scientific Computation.
    Concurrency and Computation: Practice and Experience, 15:277-299, 2003.

  9. C. van Reeuwijk.
    A programming environment for Custom Computing Machines.
    Technical Report PDS-2002-005, Delft University of Technology, December 2002.

  10. C. van Reeuwijk and H.J. Sips.
    Adding Tuples to Java: a Study in Lightweight Data Structures.
    In Proceedings of the ACM 2002 Java Grande/ISCOPE Conference, pages 185-191, Seattle, USA, November 2002.

  11. A.J.C.~{van}~Gemund.
    Symbolic Cost Estimation of Parallel Applications.
    In Proc. European Conference on Parallel Processing (EuroPar'02), pages 147-156, Paderborn, September 2002.

  12. F. Kuijlman, H.J. Sips, C. van Reeuwijk, and W.J.A. Denissen.
    A Unified Compiler Framework for Work and Data Placement.
    In Proc. of the ASCI 2002 Conference, pages 109-115, June 2002.

  13. A.J.C.~{van}~Gemund.
    Automatic Cost Estimation of High-Performance Applications.
    In Proc. Int'l Conference on Vector and Parallel Processing (Vecpar'02), pages 323-336, Porto, June 2002.

  14. A. Radulescu and A.J.C.~{van}~Gemund.
    Low-Cost Task Scheduling for Distributed-Memory Machines.
    IEEE Transactions on Parallel and Distributed Systems, 13(6):648-658, June 2002.

  15. L.D. Aronson, R. van der Krogt, C. Witteveen, and J. Zutt.
    Automated Transport Planning Using Agents.
    In Proceedings, part 1 of the International Congress on Freight Transport Automation and Multimodality: Organisational and Technological Innovations, TRAIL Conference Proceedings Series No. P2002/1, Delft, The Netherlands, May 2002.

  16. L.D. Aronson, R. Konings, and E.D. Kreutzberger.
    Improving Pre- and End-Haulage in Intermodal Transport: Development of an Efficient Planner.
    In Proceedings, part 2 of the International Congress on Freight Transport Automation and Multimodality: Organisational and Technological Innovations, TRAIL Conference Proceedings Series No, P2002/1, Delft, The Netherlands, May 2002.

  17. C. van Reeuwijk.
    Enigma code breaking using a Field Programmable Gate Array.
    Technical Report PDS-2002-001, Delft University of Technology, January 2002.

  18. A.I.D. Bucur and D.H.J. Epema.
    Local versus Global Queues with Processor Co-Allocation in Multicluster Systems.
    In D.G. Feitelson, L. Rudolph, and U. Schwiegelshohn, editors, 8th Workshop on Job Scheduling Strategies for Parallel Processing, volume 2537 of LNCS, pages 184-204, Springer-Verlag, 2002.

  19. A.I.D. Bucur and D.H.J. Epema.
    An Evaluation of Processor Co-Allocation for Different System Configurations and Job Structures.
    In Proc. of the 14th Symp. on Computer Architecture and High Performance Computing, pages 195-203, IEEE Computer Society Press, 2002.

  20. W. Denissen and H.J. Sips.
    Finding performance bugs with the TNO HPF Benchmarksuite (preprint).
    Concurrence and Computation: Practice and Experience, 14:691-712, 2002.

  21. I.T. Kuz, M.R. van Steen, and H.J. Sips.
    The Globe infrastructure directory service.
    Computer Communications, 25:835-845, 2002.

  22. J.F.M. Tonino, A. Bos, M.M. de Weerdt, and C. Witteveen.
    Replanning by Revision in Collective Agent-Based Systems.
    Artificial Intelligence Journal, 2002.

  23. J.M. Valk and C. Witteveen.
    Multi-agent Coordination in Planning.
    In PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, 2002.

  24. M.M. de Weerdt, A. Bos, J.F.M. Tonino, and C. Witteveen.
    A Resource Logic for Multi-Agent Plan Merging.
    Annals of Mathematics and Artificial Intelligence, special issue on Computational Logic on Multi-Agent Systems, to appear, 2002.

  25. J.F.C.M. de Jongh.
    Share scheduling in distributed systems.
    PhD thesis, Delft University of Technology, 2002.

  26. C. van Reeuwijk.
    Spar Lanuage Specification.
    Technical Report PDS-2001-003, Delft University of Technology, October 2001.

  27. A.J.C. van Gemund.
    Automatic Cost Estimation of Data Parallel Programs.
    Technical Report 1-68340-44(2001)09, , Delft University of Technology, October 2001.

  28. J.A. Pouwelse, K.G. Langendoen, and H.J. Sips.
    Energy Priority Scheduling for Variable Voltage Processors.
    In Int. Symposium on Low Power Electronics and Design (ISLPED'01), pages 28-33, Huntington Beach, CA, August 2001.

  29. A. Radulescu and A.J.C. van Gemund.
    Low-Cost Mixed Task and Data Parallel Scheduling.
    In 30-th International Conference on Parallel Processing (ICPP), pages 69-76, August 2001.

  30. H. Gautama and A.J.C. van Gemund.
    Low-cost Performance Prediction of Data-Dependent Data Parallel Programs.
    In Proc. of the 9th International Symp.\ on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), pages 173-182, IEEE Computer Society Press, August 2001.

  31. H. Gautama and A.J.C. van Gemund.
    Performance Prediction of Data-Dependent Task Parallel Programs.
    In Proc. of the 7th International Conference on Parallel Processing (EuroPar 2001), pages 106-116, August 2001.

  32. A.J.C. van Gemund and H. Gautama.
    Results of Validation Performance Estimator.
    Technical Report 1-68340-44(2001)04, tud, Delft University of Technology, August 2001.

  33. M.P. van Lohuizen.
    A generic approach to parallel chart parsing with an application to linGO.
    In Proceedings 39-th Annual Meeting of the Asscociation of Computer Linguistics (ACL2001), pages 507-515, Toulouse, July 2001.

  34. J.A. Pouwelse, K.G. Langendoen, and H.J. Sips.
    Dynamic Voltage Scaling on a Low-Power Microprocessor.
    In 7th ACM Int. Conf. on Mobile Computing and Networking (Mobicom), pages 251-259, Rome, Italy, July 2001.

  35. S. Cadot, F. Kuijlman, K.G. Langendoen, H.J. Sips, and C. van Reeuwijk.
    ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems.
    In Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001), pages 56-63, Snowbird, Utah, June 2001.

  36. F. Kuijlman, C. van Reeuwijk, W.J.A. Denissen, and H.J. Sips.
    A Unified Compiler Framework for Work and Data Placement.
    In 9th International Conference on Compilers for Parallel Computers (CPC2001), pages 259-268, Edinburgh, Scotland, June 2001.

  37. C. van Reeuwijk, F. Kuijlman, and H.J. Sips.
    Spar: a Set of Extensions to Java for Scientific Computation.
    In Proceedings of the ACM 2001 Java Grande/ISCOPE Conference, pages 58-67, June 2001.

  38. C. Savarese, K.G. Langendoen, and J. Rabaey.
    Robust Positioning Algorithms for Distributed Ad-Hoc Wireless Sensor Networks.
    In USENIX Technical Annual Conference, pages 317-328, Monterey, CA, June 2001.

  39. J.-D. Bakker, K.G. Langendoen, and H.J. Sips.
    LART: Flexible, Low-Power Building Blocks for Wearable Computers.
    In Int. Workshop on Smart Appliances and Wearable Computing (IWSAWC), pages 255-259, Scottsdale, AZ, April 2001.

  40. J.A. Pouwelse, K.G. Langendoen, R.L. Lagendijk, and H.J. Sips.
    Power-Aware Video Decoding.
    In 22nd Picture Coding Symposium, pages 303-306, Seoul, Korea, April 2001.

  41. A. Radulescu, C. Nicolescu, A.J.C. van Gemund, and P.P. Jonker..
    CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems.
    In 15-th International Parallel and Distributed Processing Symposium (IPDPS), April 2001.

  42. A. van der Schaaf, K.G. Langendoen, and R.L. Lagendijk.
    Design of an Adaptive Interface between Video Compression and Transmission Protocols for Mobile Communications.
    In 11th Packet Video Workshop (PV-2001), pages 1-10, Kyongju, Korea, April 2001.

  43. A.J.C.~{van}~Gemund and H. Gautama.
    Trade-offs in Symbolic Cost Estimation of Parallel Programs.
    In Proc. ETAPS'02 Workshop JOSES, pages 23-33, Genova, April 2001.

  44. C. van Reeuwijk.
    Spar 1.4 Lanuage Specification.
    Technical Report PDS-2001-002, Delft University of Technology, March 2001.

  45. J.M. Valk, C. Witteveen, and J. Zutt.
    Task Allocation Policies for Logistic Problems.
    In Proceedings of the First Seminar ''Joint TNO TRAIL Transport Research T3'', TRAIL Research School, Delft, March 2001.

  46. C. van Reeuwijk, F. Kuijlman, and H.J. Sips.
    Extending Java with constructs for scientific computation.
    Technical Report PDS-2001-001, Delft University of Technology, February 2001.

  47. J. Zutt.
    Cooperative Transport Planning.
    Master's thesis, Delft University of Technology, January 2001.

  48. A.I.D. Bucur and D.H.J. Epema.
    The Influence of Communication on the Performance of Co-Allocation.
    In D.G. Feitelson and L. Rudolph, editors, 7th Workshop on Job Scheduling Strategies for Parallel Processing, volume 2221 of LNCS, pages 66-86, Springer-Verlag, 2001.

  49. M.P. van Lohuizen.
    Parallel natural language parsing: from analysis to speedup.
    PhD thesis, Delft University of Technology, 2001.

  50. B.J. Overeinder and H.J. Sips.
    Wide-area distributed applications in high perfromance computing (Guest Editors Special issue).
    Future Generation Computer Systems, 17:767-768, 2001.

  51. G. Pierre, I.T. Kuz, M. van Steen, and A.S. Tanenbaum.
    Differentiated Strategies for Replicating Web Documents.
    Computer Communications, 24(2):232-240, 2001.

  52. A. Radulescu.
    Compile-time scheduling for distributed memory machines.
    PhD thesis, Delft University of Technology, 2001.

  53. H.J. Sips, R. Sommerhalder, and E.H. D'Hollander.
    Linear Systems and Associated Problems (Guest Editors).
    Parallel Computing, 27(7):867-868, 2001.

  54. J.M. Valk, C. Witteveen, and J. Zutt.
    Approximation Results for Multi-Agent Planning Systems.
    In Proceedings of the fourth Pacific Rim International Workshop on Multi-Agents (PRIMA), Taipei, Taiwan, 2001.

  55. J.M. Valk, C. Witteveen, and J. Zutt.
    A Chain Manager Strategy for a Multimodal Transportation System.
    In Proceedings of the 13th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'01), 2001.

  56. M.M. de Weerdt, J.F.M. Tonino, and C. Witteveen.
    Cooperative heuristic multi-agent planning.
    In Proceedings of the Thirteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC-01), pages 275-282, 2001.

  57. G.L. Reijns, A.J.C. van Gemund, and H. Gautama.
    Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times.
    Parallel Processing Letters, 11:109-123, 2001.

  58. H.W. van Dijk, K.G. Langendoen, and H.J. Sips.
    ARC: a Bottom-Up Approach to Negotiated {QoS}.
    In 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2000), pages 128-137, Monterey, CA, December 2000.

  59. J.A. Pouwelse, K.G. Langendoen, and H.J. Sips.
    Dynamic Voltage Scaling on a Low-Power Microprocessor.
    In 2nd Int. Symposium on Mobile Multimedia Systems & Applications (MMSA'2000), pages 157-164, Delft, The Netherlands, November 2000.

  60. C. van Reeuwijk.
    Spar 1.2 Lanuage Specification.
    Technical Report PDS-2000-008, Delft University of Technology, November 2000.

  61. H.W. van Dijk, K.G. Langendoen, and H.J. Sips.
    Application of ARC in system design.
    In 2nd Int. Symposium on Mobile Multimedia Systems & Applications (MMSA'2000), pages 118-125, Delft, The Netherlands, November 2000.

  62. H.E. Bal, D.H.J. Epema, A.J.C. van Gemund, A. Radulescu, C. van Reeuwijk, H.J. Sips, and et al..
    The Distributed ASCI Supercomputer project.
    ACM Operating Systems Review, 34(4):76-96, October 2000.

  63. A.M. Lele, S.K. Nandy, and D.H.J. Epema.
    A Dynamic Channel Allocation Algorithm for Next Generation Wireless Networks.
    In SoftCOM 2000, Int'l Conference on Software, Telecommunications and Computer Networks, pages 427-436, October 2000.

  64. M.P. van Lohuizen.
    Memory-efficient and thread-safe quasi-destructive graph unification.
    In Proceedings 38-th Annual Meeting of the Asscociation of Computer Linguistics (ACL2000), pages 352-358, Hong Kong, October 2000.

  65. J.A. Pouwelse, K.G. Langendoen, and H.J. Sips.
    Power Consumption Trade-offs for Wireless Audio Access.
    In Int. Workshop on Mobile Multimedia Communications (MoMuC 2000), pages P.6.1-P.6.6, Tokyo, Japan, October 2000.

  66. A. Bos, A. van Gemund, and C. Witteveen.
    Model-based Diagnosis Support for Satellite-based Instruments.
    In IEEE Autotestcon, Systems Readiness Technology Conference, Anaheim CA, September 2000.

  67. I.T. Kuz, P. Verkaik, M. van Steen, and H.J. Sips.
    A Distributed-Object Infrastructure for Corporate Websites.
    In Proceedings International Symposium on Distributed Objects and Applications, pages 21-23, Antwerp, September 2000.

  68. A.M. Lele, S.K. Nandy, and D.H.J. Epema.
    Harmony--An Architecture for Providing Quality of Service.
    Journal of Interconnection Networks, 1(3):247-266, September 2000.

  69. G. Pierre, I.T. Kuz, and M. van Steen.
    Adaptive Replicated Web Documents.
    Technical Report IR-477, VU, September 2000.

  70. H. Gautama and A.J.C. van Gemund.
    Static Performance Prediction of Data-Dependent Programs.
    In ACM Proc. on The Second International Workshop on Software and Performance (WOSP 2000), pages 216-226, September 2000.

  71. No author.
    Preemptive Task Scheduling for Distributed Systems.
    In Proc. EUROPAR'2000 (LNCS 1900), Muenchen, September 2000.

  72. L.D. Aronson.
    Homogeneous routing for homogeneous traffic patterns on meshes.
    IEEE Transactions on Parallel and Distributed Systems, 11(8):781-793, August 2000.

  73. A.M. Lele, S.K. Nandy, and D.H.J. Epema.
    Design Space Exploration for Providing QoS within the Harmony Framework.
    In 2000 IEEE Int'l Conference Multimedia and Expo (ICME), volume 1, pages 521-524, August 2000.

  74. A. Radulescu and A.J.C. van Gemund.
    Preemptive Task Scheduling for Distributed Systems.
    In Proceedings, $6^th$ European Conference on Parallel Processing (EuroPar), pages 272-276, August 2000.

  75. H. Gautama and A.J.C. van Gemund.
    Design of Performance Estimator.
    Technical Report 1-68340-44(2000)04, tud, Delft University of Technology, August 2000.

  76. J.F.M. Tonino, A. Bos, and C. Witteveen.
    Replanning by revision in Collective Agent Based Systems.
    Technical Report PDS-2000-004, PDS, July 2000.

  77. A. Bakker, E. Amade, G. Ballintijn, I.T. Kuz, P. Verkaik, I. van der Wijk, M. van Steen, and A.S. Tanenbaum.
    The Globe Distribution Network.
    In Proceedings 2000 USENIX Annual Conference (FREENIX Track), pages 141-152, San Diego, June 2000.

  78. C. van Reeuwijk, F. Kuijlman, H.J. Sips, and S.V. Niemeijer.
    Annotating Spar/{Java} for data-parallel programming.
    In Proceedings of the Sixth Annual Conference of the Advanced School for Computing and Imaging, pages 185-194, Lommel, Belgium, June 2000.

  79. A.I.D. Bucur and D.H.J. Epema.
    The Influence of the Structure and Sizes of Jobs on the Performance of Co-Allocation.
    In D.G. Feitelson and L. Rudolph, editors, Sixth Workshop on Job Scheduling Strategies for Parallel Processing, Springer LNCS 1911, pages 154-173, May 2000.

  80. S.V. Niemeijer.
    Parallel Expressiveness of the Spar Programming Language.
    Technical Report PDS-2000-006, Delft University of Technology, May 2000.

  81. G. Pierre, I.T. Kuz, M. van Steen, and A.S. Tanenbaum.
    Differentiated Strategies for Replicating Web Documents.
    In 5th International Web Caching and Content Delivery Workshop, Lisbon, May 2000.

  82. A. Radulescu and A.J.C. van Gemund.
    Fast and Effective Task Scheduling in Heterogeneous Systems.
    In Proceedings, 9-th Heterogeneous Computing Workshop (HCW), pages 229-238, May 2000.

  83. C. van Reeuwijk, F. Kuijlman, H.J. Sips, and S.V. Niemeijer.
    Data-parallel programming in Spar/{Java}.
    In Second Annual Workshop on Java for High-Performance computing (presentation), pages 51-66, Santa Fe, New Mexico, May 2000.

  84. C. van Reeuwijk.
    Vnus Lanuage Specification Version 2.1.
    Technical Report PDS-2000-002, Delft University of Technology, May 2000.

  85. C. van Reeuwijk.
    Template Manager Reference Manual.
    Technical Report PDS-2000-003, Delft University of Technology, May 2000.

  86. C. van Reeuwijk, F. Kuijlman, H.J. Sips, and S.V. Niemeijer.
    Data-parallel programming in Spar/{Java}.
    Technical Report PDS-2000-005, Delft University of Technology, May 2000.

  87. No author.
    Fast and Effective Scheduling in Heterogeneous Systems.
    In Proc. Heterogeneous Computing Workshop (HCW'00), Cancun, May 2000.

  88. C. van Reeuwijk.
    Spar 1.1 Lanuage Specification.
    Technical Report PDS-2000-001, Delft University of Technology, April 2000.

  89. A.J.C. van Gemund and H. Gautama.
    Performance Estimation for Embedded Systems.
    Technical Report 1-68340-44(2000)01, tud, Delft University of Technology, January 2000.

  90. A. Bos and C. Witteveen.
    Safe Testing for Dynamic Systems.
    In DX'00 Eleventh International Workshop On Principles of Diagnosis, pages 9-16, Morelia, Mexico, 2000.

  91. A. Bos, A. van Gemund, and C. Witteveen.
    Design of a Generic Model-Based Diagnosis System with Automatic Abstraction Generation.
    In L.J. van Vliet, J.W.J. Heijnsdijk, T. Kielmann, and P.M.W. Knijnenburg, editors, Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging, pages 29-36, Lommel, Belgium, 2000.

  92. A. Bos, N. Roos, and C. Witteveen.
    Complexity reduction by using computational histories.
    In A.van den Bosch and H. Weigand, editors, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference BNAIC '00, pages 207-214, Tilburg, 2000.

  93. W.J.A. Denissen.
    Design of an HPF compiler: A compilation framework for a data-parallel language.
    PhD thesis, Delft University of Technology, 2000.

  94. P. Harrenstein, W. van der Hoek, J-J.Ch. Meyer, and C. Witteveen.
    A Modal Interpretation of Nash-Equilibria and Some Related Concepts.
    In Proceedings LOFT4 conference, Torino, 2000.

  95. W. van der Hoek and C. Witteveen.
    Classical and General Frameworks for Recovery.
    In W. Horn, editor, Proceedings ECAI-2000, pages 33-37, IOS Press, Amsterdam, 2000.

  96. R.P.J. van der Krogt, A. Bos, M.M. de Weerdt, and C. Witteveen.
    An algorithm for replanning.
    In A.van den Bosch and H. Weigand, editors, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference BNAIC '00, pages 21-28, Tilburg, 2000.

  97. L. J. Moree, A. Bos, J.F.M. Tonino, and C. Witteveen.
    Cooperation by iterated plan revision.
    In Proceedings ICMAS2000, Boston, 2000.

  98. J.M. Valk, A. Bos, J. Rogier, J.F.M. Tonino, and C. Witteveen.
    An Approximation Algorithm for a Distributed Planning Problem.
    In International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), Wollongong, Australia, 2000.

  99. J.M. Valk, A. Bos, J. Rogier, J.F.M. Tonino, and C. Witteveen.
    An Approximation Algorithm for a Logistic Planning Problem.
    In A.van den Bosch and H. Weigand, editors, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference BNAIC '00, pages 251-258, Tilburg, 2000.

  100. M.M. de Weerdt, A. Bos, J.F.M. Tonino, and C. Witteveen.
    A Plan Fusion Algorithm for Multi-Agent Systems.
    In CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, 2000.

  101. M.M. de Weerdt, A. Bos, J.F.M. Tonino, and C. Witteveen.
    Improving Efficiency by Plan Fusion in a Personal Transport Domain.
    In Proceedings of the Sixth Annual Congress on Transport, Infrastructure and Logistics (TRAIL-00), 2000.

  102. M.M. de Weerdt, A. Bos, J.F.M. Tonino, and C. Witteveen.
    Multi-Agent Cooperation in a Planning Framework.
    In A.van den Bosch and H. Weigand, editors, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference BNAIC '00, pages 53-60, Tilburg, 2000.

  103. M.M. de Weerdt, A. Bos, J.F.M. Tonino, and C. Witteveen.
    Fusion of Plans in a Framework with Constraints.
    In International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), Wollongong, Australia, 2000.

  104. A. Bos, J.F.M. Tonino, M.M. de Weerdt, and C. Witteveen.
    A framework for multi-agent planning.
    In D.M.Gabbay and R.J.Cunningham, editors, Proceedings of the AgentLink Workshop on Practical Reasoning Agents (FAPR-00), 2000.

  105. J. Zutt and M.M. de Weerdt.
    Cooperative Transport Planning (abstract for a demo).
    In A.van den Bosch and H. Weigand, editors, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference BNAIC '00, pages 371-374, Tilburg, 2000.

  106. I.T. Kuz, P. Verkaik, I. van der Wijk, M. van Steen, and A.S. Tanenbaum..
    Beyond HTTP: An Implementation of the Web in Globe..
    Technical Report, Delft University of Technology, November 1999.

  107. D.H.J. Epema.
    Load Balancing in Replicated Databases with Loose Consistency Requirements.
    In Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Trier, Germany, September 1999.

  108. A. Radulescu and A.J.C. van Gemund.
    FLB: Fast Load Balancing for Distributed-Memory Machines.
    In Proceedings, 28-th International Conference on Parallel Processing (ICPP), pages 534-541, September 1999.

  109. W. Denissen and H.J. Sips.
    A Versatile Data and Task Parallel Compiler Framework for HPF and Other Procedural Languages.
    In Proceedings HUG'99, Redondo Beach, August 1999.

  110. M.P. van Lohuizen.
    Parallel processing in natural language parsers.
    In Proceedings Parco'99, Delft, August 1999.

  111. A. Gonzalez Escribano, V. Cardenoso Payo, A. Vaca-Diez, A.J.C. van Gemund, and H-X. Lin.
    Expressiveness versus Optimizability in Coordinating Parallelism.
    In Proceedings ParCo'99, Delft, July 1999.

  112. D. Genius, U. Assman, P. Fritzson, H.J. Sips, R. Kurver, R. Wilhelm, H. Schepers, and T. Rindberg.
    Java and CoSy Technology for Embedded Systems; the JOSES Project.
    In J.-Y. Roger et al, editor, Proceedings Business and Work in the Information Society: New Technologies and Applications, IOS Press, pages 834-843, Stockholm, June 1999.

  113. A. Radulescu and A.J.C. van Gemund.
    On the Complexity of List Scheduling Algorithms for Distributed-Memory Systems.
    In Proceedings, 13-th ACM International Conference on Supercomputing (ICS), pages 68-75, June 1999.

  114. A. Radulescu and A.J.C. van Gemund.
    List Scheduling Complexity Revisited.
    In Proceedings, 5-th ASCI Conference, pages 257-266, June 1999.

  115. A. Radulescu, Andrei and A.J.C. van Gemund.
    Improving Processor Selection Complexity in List Scheduling Algorithms.
    In Proceedings, 12-th International Conference on Control Systems and Computer Science (CSCS), pages 243-248, May 1999.

  116. A. Radulescu, A.J.C. van Gemund, and H.X. Lin.
    LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems.
    In Proceedings, 13-th International Parallel Processing Symposium / 10-th Symposium on Parallel and Distributed Processing (IPPS/SPDP), pages 525-530, April 1999.

  117. L.D. Aronson.
    A Theory of Routing in Parallel Computers; From concept to analysis.
    PhD thesis, Delft University of Technology, 1999.

  118. A. Bos and C. Witteveen.
    Compilation to speed up the Control of Hybrid Systems.
    In Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging ASCI'99, pages 243-250, Delft, 1999.

  119. A. Bos, M.M. de Weerdt, C. Witteveen, J.F.M. Tonino, and J.M. Valk.
    A Dynamic Systems Framework for Multi-Agent Experiments.
    In ESSLLI, Foundations and Applications of Collective Agent Based Systems Workshop, Utrecht, the Netherlands, 1999.

  120. A. Bos, N. Roos, and C. Witteveen.
    Computing with Computational Histories.
    In Proceedings BNAIC99, pages 19-26, Maastricht, 1999.

  121. D.H.J. Epema and J.F.C.M. de Jongh.
    Proportional-Share Scheduling in Single-Server and Multiple-Server Computing Systems.
    In 1st Workshop on Mathematical (performance) Modeling and Analysis, 1999.

  122. Z. Papp, H.J. Hoeve, and A. Bos.
    A System Architecture for Distributed Implementation of Virtual Measurement Systems.
    In IEEE: 1999 Symposium and Workshop on Engineering of Computer-Based Systems, 1999.

  123. J.A. Pouwelse, K.G. Langendoen, and H.J. Sips.
    A Feasible Low-Power Augmented-Reality Terminal.
    In Int Workshop on Augmented Reality (IWAR'99), pages 55-63, IEEE Press, San Francisco, 1999.

  124. H.J. Sips.
    Parallel Programmeren.
    ICT-zakboekje, PNBA, 1999.

  125. M. Van Steen, A.S. Tanenbaum, I.T. Kuz, and H.J. Sips.
    A Scalable Middleware Solution for Advanced Wide-Area Web Services.
    Distributed Systems Engineering Journal, 6:34-42, 1999.

  126. J.M. Valk, J.F.M. Tonino, and C. Witteveen.
    Automated Theorem Proving for the KARO-architecture, Foundations and applications of Collective Agent Based Systems (CABS).
    In ESSLLI 99 Workshop, Utrecht, 1999.

  127. M.M. de Weerdt, F. de Boer, W. van der Hoek, and J.J. Meyer.
    Imprecise Observations of Mobile Robots Specified by a Modal Logic.
    In Fifth annual conference of the Advanced School for Computing and Imaging, Heijen, The Netherlands, 1999.

  128. M.M. de Weerdt.
    Towards algorithms for scheduling of transport processes.
    In TRAIL congres, Scheveningen, The Netherlands, 1999.

  129. M.M. de Weerdt.
    Vervoersplanning.
    Vakidioot, (1), 1999.

  130. C. Witteveen and W. van der Hoek.
    Recovering from Inconsistency: A general Framework for Theory Recovery.
    In Proceedings WAIT 99, SADIO, IFIP, pages 37-50, Buenos Aires, 1999.

  131. G.L. Reijns, A.J.C. van Gemund, and H. Gautama.
    Analysis of a Shared-Memory Multiprocessor via a Novel Queuing Model.
    Journal of Systems Architecture, 45:1189-1193, 1999.

  132. A. Radulescu and A.J.C. van Gemund.
    GLB: A low-cost scheduling algorithm for distributed-memory architectures.
    In Proceedings, 5-th International Conference on High Performance Computing (HiPC), pages 294-301, December 1998.

  133. H.J. Sips.
    Software Architectuur.
    Automatiseringsgids, (41):19, October 1998.

  134. P. Swart, W.F. van der Zwan, and A.J.C. van Gemund.
    Linearization and Specifications of the COLARADO Multi-static Radar System able to differentiate Objects.
    In Proc. 28th European Microwave Conf., Amsterdam, October 1998.

  135. M. Van Steen, A.S. Tanenbaum, I.T. Kuz, and H.J. Sips.
    A Scalable Middleware Solution for Advanced Wide-Area Web Services.
    In Middelware'98, pages 17-53, Springer Verlag, Lake District, UK, September 1998.

  136. J.F.M. Tonino.
    A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.
    In Uwe Glaesser and Peter H. Schmitt, editors, Proceedings of the 5th International Workshop on Abstract State Machines (28th Annual Conference of the German Society of Computer Science), pages 91-110, Otto-von-Guericke-Universitaet, Magdeburg, September 1998.

  137. M. Van Steen, S. Van der Zijden, and H.J. Sips.
    Software Engineering for Scalable Distributed Applications.
    In Compsac98, pages 285-293, IEEE Press, Vienna, August 1998.

  138. W.J.A. Denissen, V.J. Korstanje, and H.J. Sips.
    Intergration of the HPF Data-Parallel Model in the {CoSy} Compiler Framework.
    In 7th International Conference on Compilers for Parallel Computers (CPC'98), pages 141-158, Linkoping, Sweden, June 1998.

  139. F. Kuijlman, A. Radulescu, A.J.C. Van Gemund, and H.J. Sips.
    Task Parallelism in Spar.
    In ASCI'98, pages 167-172, Lommel, Belgium, June 1998.

  140. F. Kuijlman, C. van Reeuwijk, A.J.C. van Gemund, and H.J. Sips.
    Code Generation Techniques for the Task-Parallel Language Spar.
    In 7th International Conference on Compilers for Parallel Computers (CPC'98), pages 1-11, Linkoping, Sweden, June 1998.

  141. F. Kuijlman, C. van Reeuwijk, A.J.C. van Gemund, and H.J. Sips.
    Code generation techniques for the task-parallel programming language Spar.
    Technical Report PDS-1998-006, Delft University of Technology, June 1998.

  142. I.T. Kuz, A.M. Kermarrec, M.R. van Steen, and H.J. Sips.
    Replicated web objects: design and implementation.
    In Proceedings 4-th Annual ASCI Conference, pages 231-237, June 1998.

  143. H.J. Sips.
    Een, Twee, Veel.
    Inaugurele Reden, Delft University of Technology, June 1998.

  144. Paul Dechering.
    Semantics for Compiling Data Parallelism.
    PhD thesis, Delft University of Technology, March 1998.

  145. V.J.Korstanje.
    A New Framework for Compiling High Performance Fortran: Decomposing parallel operations to a basic Forall.
    Technical Report PDS-1998-005, Delft University of Technology, February 1998.

  146. A.J.C. van Gemund.
    Using High-Level Performance Prediction in Compiling for Distributed Systems.
    In Proc. 31th Hawaii Int.\ Conf.\ on System Sciences, Vol.\ II, IEEE, January 1998.

  147. L.D. Aronson.
    An Optimal Routing Algorithm for the Matrix Transpose Traffic Pattern on Meshes.
    Technical Report 4, Delft University of Technology, 1998.

  148. A. Bos and C. Witteveen.
    Non-strict Knowledge Compilation.
    In NAIC 1998, pages 77-86, 1998.

  149. A. Bos.
    Choosing the Right Model, The Modeling Problem in Model-Based Diagnosis.
    PhD thesis, Delft University of Technology, Delft, The Netherlands, 1998.

  150. W.J.A. Denissen, V.J. Korstanje, and H.J. Sips.
    A Methodology for Converting Applications to HPF.
    In Proceedings 2nd HPF User Group Meeting (HUG'98), Porto, Portugal, 1998.

  151. D.H.J. Epema.
    Decay-Usage Scheduling in Multiprocessors.
    ACM Transactions on Computer Systems, 16:367-415, 1998.

  152. A.W. van Halderen, B.J. Overeinder, P.M.A. Sloot, R. van Dantzig, D.H.J. Epema, and M. Livny.
    Hierarchical Resource Management in the Polder Metacomputing Initiative.
    Parallel Computing, 24:1807-1825, 1998.

  153. H.J. Sips, W. Denissen, and C. van Reeuwijk.
    Analysis of Local Enumeration and Storage Schemes in HPF.
    Parallel Computing, 24:355-382, 1998.

  154. M.M. de Weerdt.
    Specifying uncertainty for mobile robots.
    Master's thesis, Utrecht University, Utrecht, the Netherlands, 1998.

  155. C. Witteveen and W. van der Hoek.
    How to recover from nonmonotonic inconsistency..
    In 3th Information-Theoretic Approaches to Logic, Language and Computation ITALLC'98, Center for Research in Cognitive Science, pages 238-248, National Chung Cheng University, Chiayi, Taiwan, 1998.

  156. C. Witteveen and W. van der Hoek.
    Theory Recovery in a multi-agent context.
    In Proceedings Logic and the Foundations of Game and Decision Theory LOFT3, ICER, Torino, 1998.

  157. C. Witteveen.
    Recovery and Common-Sense Reasoning.
    In M. Evens, editor, Proceedings MAICS-98, AAAI Press, pages 50-57, Menlo Park, California, 1998.

  158. J. Schier, A.J.C. van Gemund, and G.L. Reijns.
    Real-time Signal Processing for an Obstacle Warning Radar.
    In Proc. of Signal Processing Symposium, Leuven, 1998.

  159. S. Balakrishnan, S.K. Nandy, and A.J.C. vanGemund.
    Modeling Multi-threaded Architectures in PAMELA for Real-time High-Performance Applications.
    In Proc. Fourth International Conference on High-Performance Computing, pages 407-414, IEEE Computer Society, Bangalore, December 1997.

  160. C. van Reeuwijk, A.J.C. van Gemund, and H.J. Sips.
    Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs.
    Concurrency: Practice and Experience, 9(11):1193-1205, November 1997.

  161. Leo Breebaart.
    The Rotan Reference Guide.
    Technical Report PDS-1997-002, Delft University of Technology, October 1997.

  162. Leo Breebaart.
    The Rule Language 2.0.
    Technical Report PDS-1997-001, Delft University of Technology, October 1997.

  163. A.J.C. van Gemund.
    The Importance of Synchronization Structure in Parallel Program Optimization.
    In Proc. 11-th ACM Int'l Conf. on Supercomputing, pages 164-171, Vienna, July 1997.

  164. D. Koelma and H.J. Sips.
    A Software Architecture for Parallel Image Processing.
    In ASCI Conference 1997, Heijen, pages 34-40, June 1997.

  165. C. van Reeuwijk, A.J.C. van Gemund, and H.J. Sips.
    Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs.
    In ACM 1997 Workshop on Java for Science and Engineering Computation, Las Vegas, Nevada, June 1997.

  166. A. Gonzalez Escribano, V. Cardenoso Payo, and A.J.C. van Gemund.
    Approximating Unstructured Task Parallelism in Series-Parallel Form.
    In Proc. 3rd Int.\ ASCI Conf., pages 76-82, Heyen, June 1997.

  167. A. Gonzalez Escribano, V. Cardenoso Payo, and A.J.C. van Gemund.
    On the Loss of Parallelism by Imposing Synchronization Structure.
    In Proceedings 1st EURO-PDS Int'l Conference on Parallel and Distributed Systems, Barcelona, June 1997.

  168. C. van Reeuwijk, H.J. Sips, H.X. Lin, and A.J.C. van Gemund.
    Automap: A Parallel Coordination-based Programming System.
    Technical Report 1-68340-44(1997)04, Delft University of Technology, April 1997.

  169. P. Maarleveld, W.J.A. Denissen, and H.J. Sips.
    Migrating an Industrial CFD Code to High-Performance Fortran.
    In HPF User group meeting, February, Santa Fe, February 1997.

  170. A.J.C. van Gemund.
    Modeling Trade-offs in Automatic Performance Optimization for Message-Passing Architectures.
    In Proc. Third Workshop on Automatic Data Layout and Performance Prediction (Tech. Rep. UPC), Universitat Politecnica de Catalunya, Barcelona, January 1997.

  171. L.D. Aronson.
    Node homogeneous routing for node homogeneous traffic patterns on meshes.
    Technical Report 30, Delft University of Technology, 1997.

  172. P. Dechering, L. Breebaart, F. Kuijlman, C. van Reeuwijk, and H.J. Sips.
    A Generalized Forall Concept for Parallel Languages.
    In 9th Intl. Workshop, Languages and Compilers for Parallel Computing, LCPC96, LNCS 1239, pages 605-607, 1997.

  173. P. Dechering, L. Breebaart, F. Kuijlman, C. van Reeuwijk, and H.J. Sips.
    Semantics and Implementation of a Generalized Forall Statement for Parallel Languages.
    In Proceedings IPPS, pages 542-549, Geneva, 1997.

  174. D.H.J. Epema.
    Decay-Usage Scheduling in Multiprocessors.
    Technical Report 97-55, Faculty of Technical Mathematics and Informatics, TU Delft, 1997.

  175. D. Koelma, P.P. Jonker, and H.J. Sips.
    A Software Architecture for Application Driven High Performance Image Processing.
    In Hongchi Shi and Patrick C. Coffield, editors, Parallel and Distributed Methods for Image Processing, SPIE Vol. 3166, pages 340-351, 1997.

  176. J.F.M. Tonino.
    A theory of many-sorted evolving algebras.
    PhD thesis, Delft University of Technology, 1997.

  177. E. Weydert, G. Brewka, and C. Witteveen, editors.
    Proceedings DGNMR'97, Max Planck Institut for Computer Science, Saarbruecken, 1997.

  178. C. Witteveen and W. van der Hoek.
    Reducing Updating to Recovery in Nonmonotonic Databases.
    In K. van Marcke and W. Daelemans, editors, Proceedings NAIC'97, pages 22-38, Antwerpen, 1997.

  179. C. Witteveen and W. van der Hoek.
    A general framework for revising non-monotonic theories..
    In J. Dix et al., editor, Logic programming and Nonmonotonic Reasoning, LNAI 165, pages 258-272, Springer, New York, 1997.

  180. C. Witteveen and W. van der Hoek.
    Recovery of Nonmonotonic Theories.
    Technical Report, Delft University of Technology, Utrecht University, Department of Computer Science, CS, 1997.

  181. P.F.G. Dechering, L.C. Breebaart, F. Kuijlman, C. van Reeuwijk, and H.J. Sips.
    A Sound and Simple Semantics of the FORALL Statement within the V-nus Compiler Framework.
    In 6-th Workshop on Compilers for Parallel Computers, pages 59-71, Aachen, Germany, December 1996.

  182. A.J.C. van Gemund.
    Compile-time Optimization and the SPC Parallel Programming Model.
    In Proc. Sixth Workshop on Compilers for Parallel Computers, pages 45-56, Aachen, December 1996.

  183. A. Bos.
    Errors Violating Simplifying Modeling Assumptions.
    In Suhayya Abu-Hakima, editor, DX-96, The Seventh International Workshop on the Principles of Diagnosis, Val Morin, Quebec, Canada, October 1996.

  184. C. van Reeuwijk, W. Denissen, H.J. Sips, and E.M. Paalvast.
    An Implementation Framework for HPF Distributed Arrays on Message Passing Computers.
    IEEE Transactions on Parallel and Distributed Systems, 7(9):897-914, September 1996.

  185. H.J. Sips.
    Languages for High Performance Computing.
    In C.E. Vandoni, editor, Proceedings of the Cern School of Computing, CERN report no. CD 968, pages 229-238, Egmond aan Zee, the Netherlands, September 1996.

  186. P.F.G. Dechering, J.A. Trescher, J.P.M. de Vreught, and H.J. Sips.
    V-Cal: A Calculus for the Compilation of Data Parallel Languages.
    In C.-H. Huang, P. Sadayappan, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, 8th Intl. Workshop, Languages and Compilers for Parallel Computing, LCPC95, LNCS 1033, pages 111-125, Columbus Ohio, August 1996.

  187. A.J.C. van Gemund.
    SPC: A Model of Parallel Computation.
    In Proc. Europar'96 Vol.\ II, LNCS 1124, pages 397-400, Lyon, August 1996.

  188. C. van Reeuwijk, W. Denissen, and H.J. Sips.
    Performance of Communication Patterns on Distributed Memory Systems.
    In Eurosim '96, pages 169-178, North Holland, Delft, The Netherlands, June 1996.

  189. J. Stoffels and C. van Reeuwijk.
    A design strategy for the synthesis of high-performance instrumentation amplifiers.
    Technical Report CP-96-002, Delft University of Technology, June 1996.

  190. A.J.C. van Gemund.
    A New Model of Parallel Computation.
    In Proc. 2nd Int.\ ASCI Conf., pages 90-95, Lommel, June 1996.

  191. H.X. Lin, A.J.C. van Gemund, and J. Meijdam.
    Scalability analysis and parallel execution of unstructured problems.
    In Proc. Eurosim'96 Conference, pages 151-160, Delft, June 1996.

  192. H.J. Sips, C. van Reeuwijk, and W. Denissen.
    Analysis of Enumeration and Storage Schemes in HPF.
    In Proceedings 1996 International Conference on Supercomputing, pages 10-17, Philadelphia, May 1996.

  193. A.J.C. van Gemund.
    Performance Modeling of Parallel Systems.
    PhD thesis, tud, The Netherlands, April 1996.

  194. H.X. Lin, A.J.C. van Gemund, J. Meijdam, and P. Nauta.
    TGEX: A Tool for Portable Parallel and Distributed Execution of Unstructured problems.
    In Proc. HPCN'96 Conference, LNCS 1067, pages 467-474, Brussels, April 1996.

  195. C. {van Reeuwijk}, H.J. Sips, W. Denissen, and E. M. Paalvast.
    An implementation framework for HPF distributed arrays on message-passing parallel computer systems.
    Technical Report CP-96-001, Delft University of Technology, February 1996.

  196. G.J. Akkerman.
    Inductive inference, theory revision and non-monotonic logic.
    PhD thesis, Delft University of Technology, 1996.

  197. L.D. Aronson.
    Algorithms for vehicle routing - A survey.
    Technical Report 21, Delft University of Technology, 1996.

  198. L.D. Aronson.
    Saturation point analysis for nonadaptive routing algorithms.
    Technical Report 143, Delft University of Technology, 1996.

  199. P. Dechering, L. Breebaart, F. Kuijlman, C. van Reeuwijk, and H.J. Sips.
    A Generalized Forall Concept for Parallel Languages.
    Technical Report CP-96-003, Delft University of Technology, 1996.

  200. D.H.J. Epema, M. Livny, R. van Dantzig, X. Evers, and J. Pruyne.
    A Worldwide Flock of Condors: Load Sharing among Workstation Clusters.
    Future Generation Computer Systems, 12:53-65, 1996.

  201. D.H.J. Epema.
    Joint Queue-Lengths and Sojourn-Time Distributions in a General Preemptive Feedback Queue.
    Performance Evaluation, 28:99-116, 1996.

  202. D. Lindeyer and C. Witteveen.
    Extending the domain of stratified logic programs..
    Technical Report 96-19, Delft University of Technology, Faculty of Technical Mathematics and Informatics, 1996.

  203. R. Lindgreen.
    A Sense of Awareness - approaches to information security.
    PhD thesis, Delft University of Technology, 1996.

  204. H.J. Sips.
    The Many Faces of Computer Science.
    In Images of SMC Research, pages 69-80, 1996.

  205. C. Witteveen and W. van der Hoek.
    Some postulates for nonmonotonic theory revision applied to logic programming.
    In P. Schroeder-Heister, R. Dyckhoff, and H. Herre, editors, Extensions of Logic Programming, Springer, Heidelberg, 1996.

  206. C. Witteveen and W. van der Hoek.
    Semantic based theory-revision in nonmonotonic logic.
    In Proceedings of the DRUMS II Workshop, pages 22-38, 1996.

  207. C. Witteveen and W. van der Hoek.
    Revision and Updating Using a Back-up Semantics..
    In J.J. Alferes, L.M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence, LNAI 1126, pages 388 - 403, Springer Verlag, Berlin, 1996.

  208. C. Witteveen and W. van der Hoek.
    Using a back-up semantics for revising and updating nonmonotonic databases..
    Technical Report 96-57, Delft University of Technology, Faculty of Technical Mathematics and Informatics, 1996.

  209. C. Witteveen and W. van der Hoek.
    Updating Nonmonotonic Databases.
    In Proceedings of the Fourth Isreal Symposium on Theory of Computing and Systems, pages 147-154, IEEE Computer Society Press, Los Alamitos, CA, 1996.

  210. C. Witteveen.
    Belief Revision in Truth Maintenance.
    In Logic, Action, pages 447-470, Berlin, 1996.

  211. C. Witteveen.
    Partial semantics for truth maintenance.
    In P. Doherty, editor, Partiality, Modality and Nonmonotonicity, CSLI publications, pages 197-222, Stanford, California, 1996.

  212. B.C.M. Wondergem, W. van der Hoek, T.W.C. Huibers, and C. Witteveen.
    Preferential Semantics for Query by Navigation.
    Technical Report CSI-R9616, Computing Science Institute, Faculty of Mathematics and Informatics, University of Nijmegen, 1996.

  213. A. Bos.
    Abstractions of Continuous Dynamic Behavior.
    In W. Nejdl, editor, DX-95, The Sixth International Workshop on the Principles of Diagnosis, Goslar, Germany, October 1995.

  214. A. Bos.
    Model-based Monitoring of GOME (a satellite-based instrument).
    In Fifth Workshop on Aritificial Intelligence and Knowledge Based Systems for Space, Noordwijk, The Netherlands, October 1995.

  215. M. Colpa, G.L. Reijns, R.M. Wiegers, and A.J.C. van Gemund.
    Iterative Solvers for Linear Programming.
    In A.E. Harmanci, E. Gelenbe, and B. Orencik, editors, Tenth Int'l Symp. on Computer and Information Sciences, pages 35-42, Kusadasi, Turkey, October 1995.

  216. A.J.C. van Gemund and H.X. Lin.
    Scalability analysis of parallel finite element methods using performance simulation.
    In Proc. EUROSIM'95, pages 261-266, Vienna, September 1995.

  217. A. Bos.
    Diagnosis using abstractions.
    In NAIC-95, Proceedings Seventh Dutch Conference on Artificial Intelligence, Rotterdam, The Netherlands, June 1995.

  218. P.F.G. Dechering, J.A. Trescher, J.P.M. de Vreught, and H.J. Sips.
    V-Cal: Using a Calculus for the Compilation of Data Parallel Languages.
    In Proceedings Fifth International Workshop on Compilers for Parallel Computers, pages 307-323, University of Malaga, June 1995.

  219. H.J. Sips.
    Trends in Het Informaticaonderzoek.
    In NWO Beleidsnota 1996-2001, pages 55-59, June 1995.

  220. A.J.C. van Gemund.
    On the accuracy of compile-time performance prediction.
    In Proc. Fifth Workshop on Compilers for Parallel Computers, pages 157-166, Malaga, June 1995.

  221. D.H.J. Epema.
    An Analysis of Decay-Usage Scheduling in Multiprocessors.
    In ACM - 1995, pages 74-85, Ottawa, Canada, May 1995.

  222. A.J.C van Gemund and G.L. Reijns.
    Predicting Parallel System Performance with P{\sc amela}.
    In Proc. 1st Int.\ ASCI Conf., pages 422-431, May 1995.

  223. A.J.C. van Gemund.
    Predicting Contention in Distributed-Memory Machines.
    In Proc. Second Workshop on Automatic Data Layout and Performance Prediction (tech.\ rep.\ CRPC-TR95548), Rice University, Houston, April 1995.

  224. A.J.C. van Gemund, H. Jonkers, and G.L. Reijns.
    Performance modeling of parallel systems with flexible precision.
    In Proc. 28th Hawaii Int.\ Conf.\ on System Sciences, Vol.\ II, pages 444-445, IEEE, January 1995.

  225. H. Jonkers, A.J.C. van Gemund, and G.L. Reijns.
    A Probabilistic Approach to Parallel System Performance Modelling.
    In Proceedings 28th Hawaii Int. Conf. on System Sciences, Vol. II, pages 412-421, IEEE, January 1995.

  226. A. Bos.
    Real-Time Diagnosis of Dynamical Systems, Part {II}: using multiple descriptions.
    Technical Report TWI-95-14, TU-Delft, Delft, 1995.

  227. A. Bos, J. Callies, and A. Lefebvre.
    Model-based monitoring and diagnosis of a satellite-based instrument.
    In W. Truszkowski, editor, Proc. of the 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies, Greenbelt, Maryland, USA, 1995.

  228. A. Bos.
    Reasoning with abstractions.
    In G. Brewka and C. Witteveen, editors, Proc. of the second Dutch/German Workshop on Non-Monotonic Reasoning, Utrecht, The Netherlands, 1995.

  229. A. Bos, J. Callies, and A. Lefebvre.
    Model-based monitoring and diagnosis of a satellite-based instrument.
    Telematics and Informatics, 3 and 4(12):161-170, 1995.

  230. D.H.J. Epema, M. Livny, R. van Dantzig, X. Evers, and J. Pruyne.
    A Worldwide Flock of Condors: Load Sharing among Workstation Clusters.
    Technical Report 95-130, Faculty of Technical Mathematics and Informatics, TU Delft, 1995.

  231. H.J. Sips.
    Aspects of Computational Science, a Textbook on High Performance Computing,
    chapter Programming Languages for High Performance Computing, pages 125-194, NCF, Den Haag, 1995.

  232. M.R. Van Steen and H.J. Sips.
    Computer and Network Organisation: An Introduction, Prentice Hall, 1995.

  233. J.A. Trescher, L.C. Breebaart, P.F.G. Dechering, A.B. Poelman, J.P.M. de Vreught, and H.J. Sips.
    A Formal Approach to the Compilation of Data Parallel Languages.
    In K. Pingali et al, editor, 7-th International Workshop on Languages and Compilers for Parallel Computing, LCPC94, LNCS 892, pages 155-169, 1995.

  234. C. Witteveen and W. van der Hoek.
    Program Revision by Consulting Weaker Semantics.
    In J.C. Bioch and Y-H. Tan, editors, Proceedings Seventh Dutch Conference on Artificial Intelligence NAIC'95, pages 393-404, Rotterdam, 1995.

  235. C. Witteveen and W. van der Hoek.
    Revision by Communication.
    In V.W. Marek, A. Nerode, and M. Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning, pages 189-202, Springer Verlag, Berlin, 1995.

  236. C. Witteveen and W. van der Hoek.
    Nonmonotonic Theory Revision in Logic Programming.
    Technical Report TWI-95-139, Rep. of Techn. Mathem and Comp. Sci, Delft, Delft, 1995.

  237. C. Witteveen and W. van der Hoek.
    Semantic Based Theory Revision in Nonmonotonic Logic.
    Technical Report RUU-CS-95-39, Dep. of Comp. Sci, Univ Utrecht, 1995.

  238. C. Witteveen and W. van der Hoek.
    Theory Revision in a Multi-agent framework.
    In Proceedings of the First International Workshop on Decentralized Intelligent and Multi-Agent Systems DIMAS'95, pages 427-434, Krakow, 1995.

  239. C. Witteveen.
    Every Normal Program has a Nearly Stable Model.
    In J. Dix, L.M. Pereira, and T.C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 927, pages 68-84, Springer Verlag, Berlin, 1995.

  240. A. Bos.
    Can abstractions be used to speed up diagnostic reasoning?.
    In G. Provan, editor, DX-94, The Fifth International Workshop on the Principles of Diagnosis, New Paltz, NY, October 1994.

  241. A.J.C. van Gemund.
    Compiling Performance Models from Parallel Programs.
    In Proc. 8th ACM Int'l Conf.\ on Supercomputing, pages 303-312, Manchester, July 1994.

  242. M.R. Van Steen, H.J. Sips, and H.X. Lin.
    Software Engineering for Parallelism: An Exercise in Separating Design and Implementation.
    In Proceedings International Conference on Massively Parallel Processing, pages 125-134, Delft, The Netherlands, June 1994.

  243. X. Evers, J.F.C.M. de Jongh, R. Boontje, D.H.J. Epema, and R. van Dantzig.
    Condor Flocking: Load Sharing between Pools of Workstations.
    In NLUUG Voorjaarsconferentie, pages 111-126, May 1994.

  244. L.D. Aronson.
    Networks and routing - A survey.
    Technical Report 112, Delft University of Technology, 1994.

  245. A. Bos.
    Real-Time Diagnosis of Dynamical Systems, Part {I}: Diagnosis and description of system behavior.
    Technical Report TWI-94-30, TU-Delft, Delft, 1994.

  246. W. van der Hoek, C. Witteveen, and H. de Nivelle.
    Revision of non-monotonic theories: Some postulates and an application to logic programming..
    In L.M. Pereira, C. MacNish, and D. Pearce, editors, Logics in Artificial Intelligence, pages 137-151, Springer Verlag, Berlin, 1994.

  247. C. M. Jonker and C. Witteveen.
    Revision by expansion.
    In G. LakeMeyer and B. Nebel, editors, Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in AI Series, pages 333-354, Springer Verlag, 1994.

  248. C. Witteveen.
    Revising incoherent and contradictory logic programs..
    In E. Marchiori, editor, Proceedings of the 6th Benelux Workshop on Logic Programming .CWI, Amsterdam, 1994.

  249. C. Witteveen.
    Process knowledge in production systems..
    In D. Albert, editor, Knowledge Structures, pages 197-228, Springer-Verlag, Berlin, 1994.

  250. C. Witteveen.
    Shifting and condensing normal logic porgrams and disjunctive databases..
    Technical Report 94-100, Delft University of Technology, Faculty of Technical Mathematics and Informatics, 1994.

  251. C. Witteveen.
    A new revision method for incoherent and contradictory logic programs..
    In T. Przymusinski, J. Dix, and L.M. Pereira, editors, Proceedings of the Workshop on Non-Monotonic Extensions of Logic Programming, pages 47-56, Universitaet Koblenz-Landau, 1994.

  252. A.J.C. van Gemund.
    The P{\sc amela} Approach to Performance Modeling of Parallel and Distributed Systems.
    In G.R. Joubert and others, editors, Parallel Computing: Trends and Applications, pages 421-428, North-Holland, 1994.

  253. H. Jonkers, A.J.C. van Gemund, and G.L. Reijns.
    Efficient Performance Evaluation of Parallel Systems.
    In L. Dekker and others, editors, Massively Parallel Processing Applications and Development, pages 389-396, North-Holland, Delft, 1994.

  254. A.J.C. van Gemund.
    Compile-time Performance Prediction with P{\sc amela}.
    In Proc. 4th Int. Workshop on Compilers for Parallel Computers, pages 428-435, Delft, December 1993.

  255. D.H.J. Epema.
    Share Scheduling in Multiprocessor through Decay Usage.
    In Computing Science in the Netherlands, CSN93, pages 144-155, November 1993.

  256. H.X. Lin and H.J. Sips.
    Domain Decomposition for Parallel Finite Element Simulations.
    In Proceedings European Simulation Symposium ESS 93, Simulation Councils Inc, pages 353-358, North Holland, Delft, The Netherlands, October 1993.

  257. H.J. Sips.
    High Performance Computing and Simulation.
    In Proceedings European Simulation Symposium ESS 93, Simulation Councils Inc., pp. xlii-xlviii, Delft, the Netherlands, October 1993.

  258. A.J.C. van Gemund.
    The P{\sc amela} Approach to Performance Simulation of Parallel and Distributed Systems.
    In Proc. European Simulation Symposium, pages 365-370, SCS, Delft, October 1993.

  259. H.X. Lin and H.J. Sips.
    Parallel Direct Solution of Large Sparse Systems in Finite Element Computations.
    In 1993 International Conference on Supercomputing, ACM press, pages 261-120, Tokyo, Japan, July 1993.

  260. A.J.C. van Gemund.
    Performance Prediction of Parallel Processing Systems: The PAMELA Methodology.
    In Proc. 7th ACM Int'l Conf.\ on Supercomputing, pages 318-327, Tokyo, July 1993.

  261. A. Bos.
    Industrial Diagnosis, an approach based on logic.
    Technical Report TPD-HAI-93-RPT-0013, TPD- TNO, Delft, 1993.

  262. X. Evers, J.F.C.M. de Jongh, R. Boontje, D.H.J. Epema, and R. van Dantzig.
    Condor Flocking: Load Sharing between Pools of Workstations.
    Technical Report, Faculty of Technical Mathematics and Informatics, TU Delft, 1993.

  263. H.X. Lin.
    A Methodology for the Parallel Direct Solution of Finite Element Systems.
    PhD thesis, Delft University of Technology, 1993.

  264. P.L. Overbeek.
    Towards Secure Open Systems.
    PhD thesis, Delft University of Technology, 1993.

  265. H.J. Sips, editor.
    Proceedings of the 4th International Workshop on Compilers for Parallel Computers, Delft, The Netherlands, 1993.

  266. S.C. van Westrhenen, J.F.M. Tonino, and R. Sommerhalder.
    Logica, een inleiding met toepassingen in de informatica, Academic Service, Schoonhoven, 1993.

  267. C. Witteveen and G. Brewka.
    Skeptical reason maintenance and belief revision.
    Artificial Intelligence, 61:1-36, 1993.

  268. C. Witteveen and W. van der Hoek.
    Belief Revision by Expansion.
    In M. Clarke, R. Kruse, and S. Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 380-387, Springer Verlag, Berlin, 1993.

  269. C. Witteveen and C.M. Jonker.
    Ambiguity and Undefinedness in Non-Monotonic Semantics..
    In W. Nejdl (ed.), editor, Proceedings Dutch-German Workshop on Non-Monotonic Logic and its applications, 1993.

  270. C. Witteveen and C.M. Jonker.
    Revision by Expansion in Logic Programs.
    Technical Report 93-02, Delft University of Technology, 1993.

  271. C. Witteveen.
    Complexity of Canonical Revisions in Logic Programs.
    Technical Report 93-123, Delft University of Technology, 1993.

  272. C. van Reeuwijk.
    Tm: a Code Generator for Recursive Data Structures.
    Software - Practice and Experience, 22(10):899-908, October 1992.

  273. M.R. Roest, A.J. van Gemund, and H.J. Sips.
    CPE: A Structured Methodology to Construct Efficient Simulators of Concurrent Computer Systems.
    In Proceedings EUROSIM '92, SCS Press, Capri, September 1992.

  274. L.C. Breebaart, E.M. Paalvast, and H.J. Sips.
    A Rule Based Transformation System.
    In Proceedings Third Workshop on Compilers for Parallel Computers, Vienna, July 1992.

  275. E. de Jong, E.M. Paalvast, H.J. Sips, and M.R. Van Steen.
    High-Level Specification Tools for Parallel Application Development.
    In Proceedings CompEuro '92, IEEE Press, The Hague, the Netherlands, May 1992.

  276. J. Stoffels and C. van Reeuwijk.
    Amplifier design automation and device properties: the Ampdes synthesis program.
    In Proceedings of the Eighth International conference on the Numerical Analysis of Semiconductor Devices and Integrated Circuits (NASECODE VIII), pages 68-73, May 1992.

  277. E.M. Paalvast, L.C. Breebaart, and H.J. Sips.
    An Expressive Annotation Model for Generating SPMD Programs.
    In Proceedings Scalable High Performance Computing Conference, pages 285-293, Williamsburg, April 1992.

  278. J. Stoffels and C. van Reeuwijk.
    Ampdes: a Program for the Synthesis of High-Performance Amplifiers.
    In Proceedings of the European Conference on Design Automation, pages 474-479, March 1992.

  279. D. Albert, H. B. Bahrick, C. Falmagne, M. Toda, C. Witteveen, and G. d'Ydewalle.
    Representation and Assessment of Knowledge.
    In B. Wilpert, editor, Proceedings ICAP'90, volume 3, pages 567 - 579, Lawrence Erlbaum, London, 1992.

  280. D.H.J. Epema.
    Processor Management in Distributed Systems with a Compute-Intensive Workload.
    In Distributed Computing - Practice and Experience, Proc. of the Autumn 1992, pages 233-250, Utrecht, The Netherlands, 1992.

  281. D.H.J. Epema.
    A New Objective and Performance Metric for Load-balancing Policies in Distributed Systems.
    In Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems (ECOOP '92), pages 109-113, Utrecht, The Netherlands, 1992.

  282. D.H.J. Epema.
    Processor Management in Distributed Systems with a Compute-Intensive Workload.
    Technical Report 92-52, Faculty of Technical Mathematics and Informatics, TU Delft, 1992.

  283. D.H.J. Epema.
    Decay-usage Scheduling in Multiprocessor and Distributed Systems I: Theory.
    Technical Report 92-105, Faculty of Technical Mathematics and Informatics, TU Delft, 1992.

  284. W.van der Hoek, J.-J. Ch. Meyer, Y. H. Tan, and C. Witteveen.
    Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood, Chichester, 1992.

  285. C. M. Jonker and C. Witteveen.
    Partiele Abductie.
    In H. de Swaan Arons, H. Koppelaar, and E. J. H. Kerckhoffs, editors, Proceedings NAIC'92, pages 227-236, 1992.

  286. E.M. Paalvast.
    Programming for Parallelism and Compiling for Efficiency.
    PhD thesis, Delft University of Technology, 1992.

  287. H.J. Sips.
    Handbooks in Operation Research and Management Science,
    chapter Computer Systems, Past, Present and Future, volume 3, North Holland, 1992.

  288. M.R. Steen and H.J. Sips.
    Software for Parallel Computers,
    chapter The ParTool project: development of a parallel programming environment, pages 221-228, Chapman and Hall, 1992.

  289. H. Thomas, H.J. Sips, and E.M. Paalvast.
    A Taxonomy of User-Annotated Programs for Distributed Memory Computers.
    In Proceedings 1992 International Conference on Parallel Processing, pages 184-191, IEEE Press, St. Charles, 1992.

  290. J.F.M. Tonino and K.-E. Fujita.
    On the adequacy of representing higher order intuitionistic logic as a pure type system.
    Annals of Pure and Applied Logic, 57:251-276, 1992.

  291. C. Witteveen.
    Expanding Logic Programs.
    In D. Pearce and G. Wagner, editors, Logics in AI, pages 373-390, Springer Verlag, Berlin, 1992.

  292. C. van Reeuwijk.
    The implementation of a system description language and its semantic functions.
    PhD thesis, Delft University of Technology, September 1991.

  293. L.C. Breebaart, E.M. Paalvast, and H.J. Sips.
    The Booster Approach to Annotating Parallel Algorithms.
    In 1991 International Conference on Parallel Processing, St. Charles, IEEE Press, Illinois, August 1991.

  294. E.M. Paalvast, H.J. Sips, and A.J. van Gemund.
    Automatic Program Generation and Optimization from Data Decompositions.
    In 1991 International Conference on Parallel Processing, IEEE Press, St. Charles, Illinois, August 1991.

  295. H.J. Sips and H.X. Lin.
    An Improved Vector-Reduction Method.
    IEEE Transactions on Computers, 40(2), February 1991.

  296. J.F.M. Tonino.
    Logical systems are generalised type systems.
    Technical Report 91-11, Faculty of Technical Mathematics and Informatics, Delft University of Technology, January 1991.

  297. D.H.J. Epema.
    Mean Waiting Times in a General Feedback Queue with Priorities.
    Performance Evaluation, 13:45-58, 1991.

  298. D.H.J. Epema.
    Extension to Preemption of a Method for a Feedback Queue.
    In Proc. of the 7th UK Computer and Telecommunication Performance Engineering Workshop, Workshops in Computing Series, pages 99-107, Edinburgh, Scotland, 1991.

  299. D.H.J. Epema.
    Joint Queue Length and Response Time Distributions in a General Preemptive Feedback Queue.
    Technical Report 91-66, Faculty of Technical Mathematics and Informatics, TU Delft, 1991.

  300. C. M. Jonker and C. Witteveen.
    Belief Revision in Reason Maintenance.
    In J. Treur, editor, Proceedings NAIC'91, pages 91-100, Amsterdam, 1991.

  301. E.M. Paalvast, H.J. Sips, and L.C. Breebaart.
    Booster: A High-Level Language for Portable Parallel Algorithms.
    Applied Numerical Mathematics, 8:177-192, 1991.

  302. C. Witteveen and G. Brewka.
    Skeptical Reason Maintenance is Tractable.
    Technical Report 91-25, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1991.

  303. C. Witteveen.
    Skeptical Reason Maintenance is Tractable.
    In J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning, Proceedings of KR'91, pages 570-584, Morgan Kaufmann, San Mateo, CA, 1991.

  304. C. Witteveen.
    A Skeptical Semantics for Truth Maintenance.
    In J.P. Martins and M. Reinfrank, editors, Truth Maintenance Systems, pages 136-154, Springer Verlag, 1991.

  305. C. Witteveen.
    Partial Semantics for Truth Maintenance.
    In J. van Eijck, editor, Logics for AI, pages 544-561, Springer Verlag, 1991.

  306. C. Witteveen.
    A Three-valued Cumulative Semantics for TMS.
    Technical Report 91-69, Faculty of Technical Mathematics and Informatics, Delft, 1991.

  307. H.X. Lin and H.J. Sips.
    On-Line CORDIC Algorithms.
    IEEE Transactions on Computers, special issue on computer arithmetic, 39(8), August 1990.

  308. E. Paalvast, A. van Gemund, and H.J. Sips.
    A Method for Parallel Program Generation with an Application to the Booster Language.
    In 1990 ACM International Conference on Supercomputing, ACM Press, Amsterdam, The Netherlands, June 1990.

  309. H.J. Sips and H.X. Lin.
    A New Model for On-Line Arithmetic with an Application to the Reciprocal Calculation.
    Journal of Parallel and Distributed Computing, 8(3), March 1990.

  310. D.H.J. Epema.
    Een Validatie-techniek voor Diagnostische Expertsystemen.
    In NAIC-90, Derde Nederlandstalige AI-Conferentie, pages 105-112, 1990.

  311. D.H.J. Epema.
    Mean Waiting Times in a General Feedback Queueing Model with Priorities.
    In PERFORMANCE '90 - Proc. of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation, pages 221-235, Edinburgh, Scotland, 1990.

  312. D.H.J. Epema.
    Algorithms for the Correct Implementation of Distributed Scheduling Policies.
    Technical Report 90-91, Faculty of Technical Mathematics and Informatics, TU Delft, 1990.

  313. W. E. Nijenhuis and C. Witteveen.
    Constructive Identification with Poole's Logic.
    Technical Report 90-86, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1990.

  314. C. Witteveen and L. Stakenborgh.
    Labelingsproblemen in Truth-Maintenance Systemen.
    In R. R. Bakker, editor, Proceedings NAIC'89, pages 231-240, Academic Service, Schoonhoven, 1990.

  315. C. Witteveen.
    Een constructieve semantiek voor Truth-Maintenance Systemen.
    In H. J. van der Herik and N. J. I. Mars, editors, Proceedings NAIC'90, SIC, pages 231-240, Amsterdam, 1990.

  316. C. Witteveen.
    Constructive Fixpoint Semantics for Truth Maintenance Systems.
    Technical Report 90-85, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1990.

  317. H.X. Lin and H.J. Sips.
    On-Line CORDIC Algorithms.
    In Proceedings of the 9th Symposium on Computer Arithmetic, IEEE Press, Santa Monica, California, September 1989.

  318. E.M. Paalvast and H.J. Sips.
    A High-Level Language for the Description of Parallel Algorithms.
    In Proceedings Parallel Computing '89, North Holland, Leiden, The Netherlands, August 1989.

  319. M.R. Van Steen and H.J. Sips.
    The ParTool Project: Development of a Parallel Programming Environment.
    In Proceedings UNICOM Seminar 'Software for Parallel Computers, London, June 1989.

  320. E.M. Paalvast and H.J. Sips.
    A Language for the Description of (Parallel) Algorithms in Scientific Applications.
    In Proceedings IMSL User Group Conference Europe, Amsterdam, The Netherlands, April 1989.

  321. H.J. Sips, P.P. Jonker, and S.C. Van Westrhenen, editors.
    Proceedings Symposium Flexibele Assemblage & Informatica, Delft University of Technology, April 1989.

  322. M.R. Van Steen and H.J. Sips.
    An Environment for Structured Development of Parallel Programs.
    In Proceedings IMSL User Group Conference Europe,, Amsterdam, The Netherlands, April 1989.

  323. A. Bos and A. van Gemund.
    Intelligent Alarm Processing, A Domain Study.
    Technical Report 89-ITI-A-85, ITI-TNO, 1989.

  324. D.H.J. Epema.
    Expertsystemen voor Performance-Management van Computersystemen.
    In Proc. AI-Toepassingen '89, pages 25-33, 1989.

  325. D.H.J. Epema.
    A VM Performance Analyzer, Interpreter and Adviser.
    In Proc. of the International Conference on Management and Performance Evaluation of Computer Systems '89, pages 100-110, Reno, Nevada, USA, 1989.

  326. D.H.J. Epema.
    An Expert System for VM Performance Analysis.
    Technical Report 89-30, Faculty of Technical Mathematics and Informatics, TU Delft, 1989.

  327. D.H.J. Epema.
    Qualitative Analysis in Diagnostic Expert Systems.
    Technical Report RC 14040, IBM Research Center, Yorktown Heights, New York, USA, 1989.

  328. H. Oolman, M. Seutter, and C. van Reeuwijk.
    Glass, a language for analog and digital circuit description, and its environment.
    In Euromicro 1989 Symposium on microprocessing and microprogramming, 1989.

  329. H.J. Sips and R. de Vries.
    HIDE: A Decompsition System for Parallel Processors.
    In Proceedings 1988 European Simulation Multiconference, SCS Press, Nice, France, June 1988.

  330. H.J. Sips.
    ParTool: A Parallel Processing Development Environment.
    SPIN proposal, May 1988.

  331. D.H.J. Epema.
    A VM Performance Analyzer, Interpreter and Adviser.
    Technical Report RC 14041, IBM Research Center, Yorktown Heights, New York, USA, 1988.

  332. H.X. Lin and H.J. Sips.
    Vector Reduction Algorithms and Architectures.
    Journal of Parallel and Distributed Computing, 5(2), 1988.

  333. C. van Reeuwijk and M.G. Middelhoek.
    A New Language to Describe Analog Circuits.
    In Proceedings of the Midwest Symposium on Circuits and Systems, September 1987.

  334. C. van Reeuwijk and M.G. Middelhoek.
    A New Language to Describe Analog Circuits.
    In Proceedings of the 4th Esprit Conference, June 1987.

  335. H.X. Lin and H.J. Sips.
    A Novel Floating Point on-Line Division Algorithm.
    In Proceedings 8th Symposium on Computer Arithmetic, IEEE Press, Como, Italy, May 1987.

  336. D. Hilhorst, H. Braam, and H.J. Sips.
    Some Methods for the Automatic Parallelization of Programs; the Hyperplane Method and its Application to the Delft Parallel Processor.
    In H. Van der Vorst, Th. Dekker, and H. Te Riele, editors, Algorithms and applications on vector and parallel computers, North Holland, 1987.

  337. H.J. Sips and A. Blonk.
    A Domain Decomposition Method for the Solution of ODE's.
    In 2nd European Simulation Congress, SCS press, Antwerp Belgium, September 1986.

  338. H.X. Lin and H.J. Sips.
    A Parallel Vector-Reduction Architecture.
    In Proceedings of the 1986 International Conference on Parallel Processing, IEEE Press, St. Charles, Illinois, USA, August 1986.

  339. H.J. Sips.
    The Paperless Office: Fiction or Reality?.
    In Excerpta Informatica, volume 1, March 1986.

  340. J.H. Van Den Berkmortel and H.J. Sips.
    A Modula-2 Compiler for the Delft Parallel Processor.
    In IMACS 1985 Transactions on Scientific Computation, volume 2 of Computer Systems: Performance and Simulation, North Holland, 1986.

  341. H.J. Sips.
    Tutorial on Advanced Computer Architecture,
    chapter Bit-Sequential Arithmetic for Parallel Processors, pages 93-106, IEEE press, 1986.

  342. H.J. Sips.
    A Parallel Processor for Nonlinear Recurrence Systems.
    In Proceedings of the First International Conference on Supercomputing systems, IEEE press, Florida, December 1985.

  343. H.J. Sips.
    The DPP81; an Exercise in Parallel Processing.
    Supercomputer, November 1984.

  344. J.H.M. Andriessen, S.W. Brok, L. Dekker, A.B. Ruighaver, and H.J. Sips.
    The Delft Parallel Processor/A Distributed {MIMD} Processor.
    In Proceedings Summer Simulation Conference, SCS press, Boston, July 1984.

  345. H.J. Sips.
    Task Distribution on a Clustered Parallel- or Multiprocessor.
    In Proceedings of the 4th International Conference on Distributed Computing Systems, IEEE press, San Francisco, May 1984.

  346. H.J. Sips.
    Design Aspects of a Distributed MIMD Computer.
    PhD thesis, Delft Univerity of Technology, March 1984.

  347. H.J. Sips.
    Bit-Sequential Arithmetic for Parallel Processors.
    IEEE Transactions on Computers, C-33, January 1984.

  348. D.H.J. Epema.
    Surfaces with Canonical Hyperplane Sections, CWI Tract 1.
    In Mathematical Centre, Amsterdam, 1984.

  349. C. Witteveen.
    Programmed Production Systems.
    PhD thesis, Utrecht University, 1984.

  350. C. Witteveen.
    Control Structures for Rule Governed Systems.
    In Proceedings 6th AFCET-WOGS conference, AFCET, pages 591-695, Paris, 1984.

  351. D.H.J. Epema.
    Surfaces with Canonical Hyperplane Sections.
    PhD thesis, RU Leiden, November 1983.

  352. S.W. Brok, L. Dekker, E.J.H. Kerckhoffs, A.B. Ruighaver, and H.J. Sips.
    Architecture and Programmature of the MIMD-Structured Delft Parallel Processor.
    In Proceedings First European Simulation Congress, SCS Press, Aachen, Germany, September 1983.

  353. D.H.J. Epema.
    Surfaces with Canonical Hyperplane Sections.
    In Proc. of the Koninklijke Nederlandse Akademie van Wetenschappen, volume 86, pages 173-184, 1983.

  354. H.J. Sips.
    A Bit-Sequential Multi-Operand Inner Product Processor.
    In Proceedings of the International Conference on Parallel Processing, IEEE press, Bellaire, Michigan, August 1982.

  355. H.J. Sips.
    Comments on: An O(N) Parallel Multiplier with Bit-Sequential Input and Output.
    IEEE Transactions on Computers, C-31, April 1982.

  356. C. Witteveen and H. Boelens.
    Inferring Control Structures from the Behaviour of a Production System.
    Information and Control, page 513, 1981.

  357. J.H.M. Andriessen, H.J. Sips, and H. de Swaan Arons.
    An Experimental Study of Parallel Data Processing Structures.
    In 9th IMACS Congress Simulation of Systems, Sorrento, Italy, September 1979.

  358. S.W. Brok, A. Kooiman, R. Llurba, H.J. Sips, and H. de Swaan Arons.
    The Delft Time-Shared Hybrid Minisystem.
    In 9th IMACS Congress ``Simulation of Systems'', Sorrento, Italy, September 1979.

  359. H.J. Sips.
    Evaluation of Parallel Algorithms by Means of a Small Experimental Parallel Processor.
    In Proceedings of the 6-th European Simulation Meeting, Delft University of Technology, Delft, Netherlands, May 1979.

  360. H.J. Sips, N.J. Zimmerman, D.A.J. Harkema, and F. Zegwaard.
    Architecture of the Delft Time-Shared Hybrid Minisystem.
    In Proceedings of the UKSC Conference, Chester, England, April 1978.

  361. N.J. Zimmerman and H.J. Sips.
    Parallel Data Verwerken.
    Informatie, January 1978.

  362. A. Bos and C. Witteveen.
    Non-strict Knowledge Computation.
    In Proceedings NAIC'98.

  363. D.H.J. Epema.
    Performance Analysis of Scheduling in UNIX-Multiprocessors under a Compute-Intensive Workload.
    In 10th UK Computer and Telecommunications Performance Engineering Workshop, pages 103-116, Edinburgh, Scotland.

  364. A.J.C. van Gemund.
    Compile-time Performance Prediction of Parallel Systems.
    In H. Beilner and F. Bause, editors, Computer Performance Evaluation: Modelling Techniques and Tools, LNCS 977, pages 261-266, Springer-Verlag, Berlin.

This page was last edited at Monday, January 8, 2001 17:55 by Jeroen Valk