Publications DISTRINET

1994

Other published books; as author

1 reference

Top

Papers at international conferences and symposia, published in full in proceedings

15 references
  • Bijnens, Stijn; Joosen, Wouter; Verbaeten, Pierre. Observation of a global object space on a distributed memory machine, HICSS'27, Vol. 2, pages 615-624, 1994, HICSS'27, Vol. 2, Maui, Hawaii BibTeX
  • Bijnens, Stijn; Joosen, Wouter; Verbaeten, Pierre. Constructing a debugger for scientific applications from reusable components, OONSKI-94, the Object-Oriented Numerics Conference, pages 139-147, 1994, OONSKI-94, the Object-Oriented Numerics Conference BibTeX
  • Bijnens, Stijn; Joosen, Wouter; Verbaeten, Pierre. A reflective invocation scheme to realize advanced object management, Guerraoui, R.; Nierstrasz, O.; Riveill, M (eds.), Object Based Distributed Programming, pages 142-154, 1994, Object Based Distributed Programming, Kaiserslautern, Germany BibTeX
  • Bondorf, A.; Dussart, Dirk. Improving CPS-based partial evaluation: writing cogen by hand, Partial Evaluation and Semanics-Based Program Manipulation, pages 1-9, 1994, Partial Evaluation and Semanics-Based Program Manipulation, Orlando, Florida BibTeX
  • Bywater, B.; Joosen, Wouter; Bijnens, Stijn; Verbaeten, Pierre; Larsen, T.; Perram, J.. Parallel simulation software for drug design, HPCN Europe 94, pages 189-196, 1994, HPCN Europe 94 BibTeX
  • Holvoet, Tom; Verbaeten, Pierre. Programming massively parallel and distributed systems using distributed objects, Aguilar, M (ed.), SIPAR Workshop on Parallel and Distributed Computing, pages 53-58, 1994, the SIPAR Workshop on Parallel and Distributed Computing BibTeX
  • Joosen, Wouter; Pollet, J.; Verbaeten, Pierre. The efficient management of task clusters in a dynamic load balancer, Euromicro Workshop on Parallel and Distributed Processing, pages 285-291, 1994, Euromicro Workshop on Parallel and Distributed Processing, Malaga, Spain BibTeX
  • Larsen, T.; Joosen, Wouter; Perram, J.. The object-oriented development of a parallel application in polymer dynamics, OONSKI-94, the Object-Oriented Numerics Conference, pages 250-265, 1994, OONSKI-94, the Object-Oriented Numerics Conference BibTeX
  • Larsen, T.; Joosen, Wouter; Perram, J.. The object-oriented development of a parallel application in polymer dynamics, Para'94, Parallel Scientific Computing, pages 344-348, 1994, Para'94, Parallel Scientific Computing BibTeX
  • Moons, Herman; Verbaeten, Pierre. Persistence in open distributed systems: the COMET approach, Euromicro Workshop on Parallel and Distributed Processing, pages 342-350, 1994, The Euromicro Workshop on Parallel and Distributed Processing, Malaga, Spain BibTeX
  • Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric. Constraints in object-oriented analysis and design, Magnusson, Boris; Meyer, Bertrand; Merson, Jean-Marc; Perrot, Jean-Francois (eds.), Technology of Object-oriented Languages and Systems TOOLS 13, pages 185-199, Prentice Hall, International conference on technology of object-oriented languages and systems (TOOLS EUROPE 1994), Versailles, France, 7-11 March 1994 PDF BibTeX
  • Van Oeyen, Johan; Joosen, Wouter; Bijnens, Stijn; Berbers, Yolande; Verbaeten, Pierre. On the realization of an object support system on micro-kernels, Extended Abstract for the System Implementors' Workshop (ECOOP94), 1994, Extended Abstract for the System Implementors' Workshop (ECOOP94), Bologna, Italy BibTeX
  • Vergauwen, Bart; Lewi, Johan. Efficient computation of nested fix-points, with applications to model checking, Gabbay, D.; Ohlbach, HJ (eds.), International Conference on Temporal Logic, pages 165-179, 1994, International Conference on Temporal Logic BibTeX
  • Vergauwen, Bart; Lewi, Johan. Efficient local correctness checking for single and alternating boolean equation systems, Abiteboul, S.; Shamir, E (eds.), ICALP'94, pages 304-315, 1994, ICALP'94 BibTeX
  • Vergauwen, Bart; Wauman, J.; Lewi, Johan. Efficient FixPoint computation, Le Charlier, B (ed.), First International Static Analysis Symposium (SAS), pages 314-328, 1994, First International Static Analysis Symposium (SAS) BibTeX

Top

Papers at other conferences and symposia, published in full in proceedings

1 reference
  • Steegmans, Eric; Dockx, Jan; Swennen, Bart; Van Baelen, Stefan. Object gericht programmeren: Revolutie of evolutie, Object Gericht Programmeren, pages 1-25, KVIV, Object gericht programmeren, Antwerp, Belgium, 23 November 1994 BibTeX

Top

Thesis

5 references
  • De Man, Jozef. Systems engineering using a functional language, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1994, Lewi, Joannes and Boute, Raymond (supervisors) BibTeX
  • Dumortier, Veroniek. Freeness and related analyses of constraint logic programs using abstract interpretation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1994, Bruynooghe, Maurice and Gobin, Marc (supervisors) BibTeX
  • Martens, Bern. On the semantics of meta-programming and the control of partial deduction in logic programming, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1994, De Schreye, Danny and Gobin, Marc (supervisors) BibTeX
  • Van Gestel, Eric. Moose:a framework uniting data base modelling, object-orientation and formal specifications, engineeering style, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1994, Lewi, Joannes (supervisor) BibTeX
  • Vanneste, Philip. The Use of Reverse Engineering in Novice Program Analysis, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1994, De Decker, Bart (supervisor) BibTeX

Top

 
Last update local database Sun Feb 26 2017 0:24 am; It contains now 12914 items.

Yearly overview:

 

Search pubs of DISTRINET

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page