Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 58,325
Number of items: 58,325
  • Baeten, J. C. M., & Bergstra, J. A. (1994). Real time process algebra with infinitesimals. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 148-187). (Workshops in Computing). Springer Verlag.
  • Hartel, P. H., Feeley, M., Alt, M., Augustsson, L., Baumann, P., Beemster, M., Chailloux, E., Flood, C. H., Grieskamp, W., van Groningen, J. H. G., Hammond, K., Hausman, B., Ivory, M. Y., Lee, P., Leroy, X., Loosemore, S., Rojemo, N., Serrano, M., Talpin, J. P., ... Wentworth, P. (1994). Pseudoknot: A Float-Intensive Benchmark for Functional Compilers. In J. R. W. Glauert (Ed.), Implementation of Functional Languages (pp. 13.1-13.34). School of Information Systems, Univ. of East Anglia.
  • Hartel, P. H., & de Jong, E. K. (1994). Towards testability in smart card operating system design. In J. J. Quisquater, & V. Cordonnier (Eds.), 1st Smart card research and advanced application conference (CARDIS 94) (pp. 73-88). Univ. de Lille.
  • Hartel, P. H., & Glaser, H. W. (1994). An aplication of a functional language in Operational Research. In J. A. Pickering (Ed.), Research journal (pp. 119-121). Dept. of Electr. and Comp. Sci, Univ. of Southampton.
  • Hertzberger, L. O. (1994). Parallel Computing in a wider perspective. In M. Ishizuka, M. Ota, & Noguchi (Eds.), 6th Transputer/occam Conference (pp. 3-22). IOS Press.
  • McEvoy, H. E. (1994). Extending Gamma with Chromatic typing. In 8th Workshop Computer Systems (pp. 1-10). Dept. of Comp. Sys, Univ. of Amsterdam.
  • Milikowsky, R., & Vree, W. G. (1994). Computer architecture for parallel data transfer in declarative computer languages. WIPO.
  • Milikowsky, R., & Vree, W. G. (1994). Non homogeneous parallel memory operations in A VLIW machine. In J. Volkert, & B. Buchberger (Eds.), Parallel Processing: CONPAR 94 - VAPP VI (pp. 485-496). Springer Verlag.
  • van Steen, M. R., Sips, H. J., & Lin, H. X. (1994). Software engineering for parallelism: an exercise in separating design and implementation. In W. Smit, L. Dekker, & J. C. Zuidervaart (Eds.), Massively Parallel Processing (pp. 125-134). North Holland.
  • Westermann -van der Steen, L. J. (1994). Het gebouw van de Plantage Bibliotheek. UBA Informatie, 2(5), 11-14.
Page 5619 of 5833