1. 2000
  2. Measuring the performance impact of SP-restricted programming in shared-memory machines

    González-Escribano, A., van Gemund, A. J. C., Cardeñoso-Payo, V., Alonso-López, J., Martín-García, D. & Pedrosa-Calvo, A. 2000 VECPAR'2000 conference proceedings. Pt. III. S.l.: s.n., p. 715-728 14 p.

    Research output: ScientificConference contribution

  3. Measuring the performance impact of SP-restricted programming on distributed-memory machines

    González-Escribano, A., van Gemund, A. J. C. & Cardeñoso-Payo, V. 2000 Perspectivas des Paralelismo en Computadores. Actas. Granada: Universidad de Granada, p. 59-64 6 p.

    Research output: ScientificConference contribution

  4. Memory-efficient and thread-safe quasi-destructive graph unification

    van Lohuizen, M. P. 2000 Proceedings of the conference 38th annual meeting of the Association for Computational Linguistics. San Francisco: Association for Computational Linguistics, p. 352-359 8 p.

    Research output: Scientific - peer-reviewConference contribution

  5. Methodology engineering for product development process modelling

    Dahanayake, A. N. W. 2000 In : Journal of Applied Systems Studies. 1, 2, p. 1-17 17 p.

    Research output: ScientificArticle

  6. Middleware for weal-time distributed simulation systems

    van Paassen, M. M., Pronk, C. & Delatour, J. 2000 ESS'2000 symposium, simulation in industry'2000. P Geril & D Möller (eds.). Erlangen: SCS Publishing House, p. 351-358 8 p.

    Research output: Scientific - peer-reviewConference contribution

  7. Model checking real-time embedded software

    Toetenel, W. J. & Lutje Spelberg, R. F. 2000 PROGRESS 2000 proceedings. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 149-156 8 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Model-based diagnosis for satellite-based instruments

    Bos, A., van Gemund, A. J. C. & Witteveen, C. 2000 2000 IEEE autotestcon proceedings. Piscataway: IEEE, p. 451-464 14 p.

    Research output: Scientific - peer-reviewConference contribution

  9. Modeling business processes for web-based information systems development

    Dietz, J. L. G. & Schouten, H. 2000 WISE 2000 proceedings, vol. 1. Qing Li & T Watanabe (eds.). Los Alamitos: IEEE Computer Society, p. 270-282 13 p.

    Research output: Scientific - peer-reviewConference contribution

  10. Modeling of a chimeric protein construction by means of Petri nets

    Barjis, I., Barjis, I. & Barjis, J. 2000 Proceedings. MH Hamza (ed.). Annaheim: iASTED, p. 87-90 4 p.

    Research output: ScientificConference contribution

  11. Modern Compiler design

    Grune, L., Bal, H. E., Jacobs, C. J. H. & Langendoen, K. G. 2000 Weinheim: Wiley. 736 p.

    Research output: Scientific - peer-reviewBook

  12. Multimodal dialogue management

    Rothkrantz, L. J. M. & van Vark, R. J. 2000 SPECOM'2000 proceedings. S.l.: s.n., p. 25-28 4 p.

    Research output: Scientific - peer-reviewConference contribution

  13. Muti-agent cooperation in a planning framework

    de Weerdt, M. M., Bos, A., Tonino, J. F. M. & Witteveen, C. 2000 Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 53-60 8 p.

    Research output: ScientificConference contribution

  14. Objectschema's bieden meer flexibiliteit in (her)gebruik datawarehouse

    Gerhardt-Hackl, W. 2000 In : Beyond. 5, 3, p. 18-23 6 p.

    Research output: ProfessionalArticle

  15. On the use of Lambda distributions in parallel program performance prediction

    Gautama, H. & van Gemund, A. J. C. 2000 ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 343-349 7 p.

    Research output: ScientificConference contribution

  16. Ondanks uitblijven problemen: 'informatici moeten zich schamen'

    Dietz, J. L. G. 2000 In : Automatisering Gids. 3, p. 1-2 2 p.

    Research output: ProfessionalArticle

  17. Ongelukkige pakketkeuze kan duurder zijn

    van der Meer, K. 2000 In : Workflow Magazine. 6, 5, p. 15-16 2 p.

    Research output: ProfessionalArticle

  18. Op weg naar volwassen ICT-dienstverlening: resultaten van het Kwintes-onderzoek

    Ruijs, L., de Jong, W., Trienekens, J. & Niessink, F. 2000 Schoonhoven: Academic Service. 147 p.

    Research output: ProfessionalBook

  19. Open information pools

    Pouwelse, J. A. 2000 Conference proceedings FREENIX track 2000 USENIX annual technical conference. Berkeley: USENIX Association, p. 153-164 12 p.

    Research output: Scientific - peer-reviewConference contribution

  20. Organizational simulation: concept & application

    Barjis, J., Dietz, J. L. G. & Groenewegen, L. P. J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 836-841 6 p.

    Research output: ScientificConference contribution

  21. Outline of a Design Tool for Analysis and Visual Quality Control of Urban Environments

    Sidjanin, P. & Gerhardt-Hackl, W. 2000 Challenges of Information Technology Management in the 21st Century. J Travers (ed.). Hershey: Idea Group Publishing, p. 384-387 4 p.

    Research output: Scientific - peer-reviewConference contribution

  22. Outline of a design tool for analysis and visual quality control of urban environments

    Sidjanin, P. & Gerhardt-Hackl, W. 2000 Challenges of information technology management in the 21st century. M Khosrowpour (ed.). Hershey: Idea Group Publishing, p. 384-387 4 p.

    Research output: ScientificConference contribution

  23. POKer, a Process-interaction simulator and controller for use in collaborative simulation

    Levytskyy, A. & Kerckhoffs, E. J. H. 2000 MESM'2000: proceedings. M Al-Akaidi (ed.). San Diego: Society for Computer Simulation International, p. 12-20 9 p.

    Research output: Scientific - peer-reviewConference contribution

  24. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J. 2000 In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: ScientificArticle

  25. Parallel processing of natural language parsers

    van Lohuizen, M. P. 2000 Proceedings of the international conference ParCo99. London: Imperial college press, p. 168-175 8 p.

    Research output: Scientific - peer-reviewConference contribution

  26. Parametric verification of the IEEE 1394a root contention protocol using LPMC

    Toetenel, W. J., Lutje Spelberg, R. F. & Bandini, G. 2000 Proceedings. DC Young (ed.). Los Alamitos: IEEE Computer Society, p. 207-214 8 p.

    Research output: Scientific - peer-reviewConference contribution

  27. Performance comparison of four software architectures for distributed computations

    van Katwijk, J. & Peng, Y. 2000 ParCo99 proceedings. EH D'Hollander, GR Joubert, FJ Peters & HJ Sips (eds.). London: Imperial college press, p. 582-589 8 p.

    Research output: Scientific - peer-reviewConference contribution

  28. Performance estimation for embedded systems: Deliverable D5.3.1/1

    van Gemund, A. J. C. & Gautama, H. 2000 S.l.: JOSES Consortium. 42 p.

    Research output: ScientificReport

  29. Performance prediction of parallel programs based on the use of Lambda distributions

    Gautama, H. & van Gemund, A. J. C. 2000 ISTECS Europe & PPI Francis: proceeding, selected scientific papers. Mustofa (ed.). S.l.: s.n., p. 313-316 4 p.

    Research output: ScientificConference contribution

  30. Performance trade-offs in series-parallel programming models

    González-Escribano, A., van Gemund, A. J. C. & Cardeñoso-Payo, V. 2000 CPC 2000. S.l.: s.n., p. 183-189 7 p.

    Research output: ScientificConference contribution

  31. Personal and dynamic travel information: client aspects

    van Vark, R. J. 2000 S.l.: s.n.52 p.

    Research output: ProfessionalReport

  32. Petri net expressions of demo process models as a rigid foundation for requirements engineering

    Dietz, J. L. G. & Barjis, I. 2000 ICEIS 2000 proceedings. Setúbal: Escola Superior de Tecnologia do Instituto Politécnico, p. 267-274 8 p.

    Research output: ScientificConference contribution

  33. Power consumption trade-offs for wireless audio access

    Pouwelse, J. A., Langendoen, K. G. & Sips, H. J. 2000 The 7th international workshop on mobile multimedia communications. Tokyo, p. P6-1-P6-6

    Research output: ScientificConference contribution

  34. Preemptive task scheduling for distributed systems

    Radulescu, A. & van Gemund, A. J. C. 2000 In: A Bode, ...[et al.] (eds): Euro-Par 2000 parallel processing [Lecture notes in computer science 1900]. Berlin: Springer, p. 272-276 5 p.

    Research output: ScientificConference contribution

  35. Procesmatig werken laat organisatie leren: procesmanagement van bouwer naar leider

    de Jong, W. 2000 In : Informer. 4, 3, p. 8-9 2 p.

    Research output: ProfessionalArticle

  36. Qos adaptive services in best-effort mobile networks: state of the art

    Langendoen, K. G. 2000 Delft: Ubiquitous Communications. 11 p.

    Research output: ScientificReport

  37. Regression tree-based dependency modeling for dynamic systems

    van Welden, D. F. & Kerckhoffs, E. J. H. 2000 ESM'2000: simulation and modelling: enablers for a better quality of life. San Diego: Society for Computer Simulation International, p. 219-226 8 p.

    Research output: Scientific - peer-reviewConference contribution

  38. Representing non-functional aspects with UML

    Dahanayake, A. N. W., Salazar-Zárate, M. G. & Botlla, P. 2000 Proceedings ISSI'01. GE Lasker & ANW Dahanayake (eds.). Windsor, Ontario: Int. Inst. for Adv. Studies in Systems Research & Cybernetic, p. XIII-1-XIII-9

    Research output: Scientific - peer-reviewConference contribution

  39. Safe testing for dynamic systems

    Bos, A. & Witteveen, C. 2000 Eleventh international workshop on principles of diagnosis. Morelia, Mexico, p. 9-16 8 p.

    Research output: Scientific - peer-reviewConference contribution

  40. Scheduling for parallel natural language parsers

    van Lohuizen, M. P. 2000 Proceedings of the sixth annual conference of the advanced school for computing and imaging. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 250-255 6 p.

    Research output: Scientific - peer-reviewConference contribution

  41. Self-adaptive expert system for facial expression analysis

    Pantic, M. & Rothkrantz, L. J. M. 2000 SMC 2000 conference proceedings: Cybernetics evolving to systems, humans, organizations and their complex interactions. Piscataway: IEEE Society, p. 73-79 7 p.

    Research output: Scientific - peer-reviewConference contribution

  42. Self-adaptive reasoning with uncertainty about facial expressions and their interpretation

    Pantic, M. & Rothkrantz, L. J. M. 2000 ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 91-98 8 p.

    Research output: Scientific - peer-reviewConference contribution

  43. Silence detection and vowel/consonant discrimination in video sequences

    Wojdel, A. W. & Rothkrantz, L. J. M. 2000 SST-2000 proceedings. S.l.: Australian Speech Science and Technology Association, p. 104-111 8 p.

    Research output: Scientific - peer-reviewConference contribution

  44. Simulation of molecular processing using Petri nets: comparison of mitrosis and meiosis

    Barjis, I., Barjis, I. & Barjis, J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 181-184 4 p.

    Research output: ScientificConference contribution

  45. Simulation of organizational processes combining semantic analysis and Petri nets

    Barjis, J. & Filipe, J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 842-846 5 p.

    Research output: ScientificConference contribution

  46. Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

    van Katwijk, J., de Rooij, R. C. M., Stuurman, S. & Toetenel, W. J. 2000 In : Parallel and Distributed Computing Practices. 2, 1, p. 73-88 16 p.

    Research output: Scientific - peer-reviewArticle

  47. Software productie bij een uitgeverij: van coderen naar modelleren

    Gouw, G. C. & Dahanayake, A. N. W. 2000 S.l.: s.n.97 p.

    Research output: ProfessionalReport

  48. Some observations on teaching and industry at Delft University of Technology

    van Katwijk, J. 2000 Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 13-21 9 p.

    Research output: Scientific - peer-reviewConference contribution

  49. Specification and verification of a safty shell with statcharts and extended timed graphs

    van Katwijk, J., Toetenel, W. J., Sahaoui, A. E. K., Anderson, E. & Zalewski, J. 2000 SAFECOMP 2000 proceedings. F Koornneef & M Meulen, V. D. (eds.). Berlin: Springer, p. 37-52 16 p.

    Research output: Scientific - peer-reviewConference contribution

  50. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, W. J., Pronk, C. & de Rooij, R. C. M. 2000 In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: ScientificArticle

  51. Static performance prediction of data-dependent programs

    Gautama, H. & van Gemund, A. J. C. 2000 Proceedings second international workshop on software and Performance. New York: Association for Computing Machinery (ACM), p. 216-226 11 p.

    Research output: Scientific - peer-reviewConference contribution