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, Maui, Hawaii, HICSS'27, Vol. 2, pages 615-624, 1994 BibTeX
  • Bijnens, Stijn; Joosen, Wouter; Verbaeten, Pierre. Constructing a debugger for scientific applications from reusable components, OONSKI-94, the Object-Oriented Numerics Conference, OONSKI-94, the Object-Oriented Numerics Conference, pages 139-147, 1994 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, Kaiserslautern, Germany, Object Based Distributed Programming, pages 142-154, 1994 BibTeX
  • Bondorf, A.; Dussart, Dirk. Improving CPS-based partial evaluation: writing cogen by hand, Partial Evaluation and Semanics-Based Program Manipulation, Orlando, Florida, Partial Evaluation and Semanics-Based Program Manipulation, pages 1-9, 1994 BibTeX
  • Bywater, B.; Joosen, Wouter; Bijnens, Stijn; Verbaeten, Pierre; Larsen, T.; Perram, J.. Parallel simulation software for drug design, HPCN Europe 94, HPCN Europe 94, pages 189-196, 1994 BibTeX
  • Holvoet, Tom; Verbaeten, Pierre. Programming massively parallel and distributed systems using distributed objects, Aguilar, M (ed.), the SIPAR Workshop on Parallel and Distributed Computing, SIPAR Workshop on Parallel and Distributed Computing, pages 53-58, 1994 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, Malaga, Spain, Euromicro Workshop on Parallel and Distributed Processing, pages 285-291, 1994 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, OONSKI-94, the Object-Oriented Numerics Conference, pages 250-265, 1994 BibTeX
  • Larsen, T.; Joosen, Wouter; Perram, J.. The object-oriented development of a parallel application in polymer dynamics, Para'94, Parallel Scientific Computing, Para'94, Parallel Scientific Computing, pages 344-348, 1994 BibTeX
  • Moons, Herman; Verbaeten, Pierre. Persistence in open distributed systems: the COMET approach, The Euromicro Workshop on Parallel and Distributed Processing, Malaga, Spain, Euromicro Workshop on Parallel and Distributed Processing, pages 342-350, 1994 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.), International conference on technology of object-oriented languages and systems (TOOLS EUROPE 1994), Versailles, France, 7-11 March 1994, Technology of Object-oriented Languages and Systems TOOLS 13, pages 185-199, Prentice Hall 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), Bologna, Italy, Extended Abstract for the System Implementors' Workshop (ECOOP94), 1994 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, International Conference on Temporal Logic, pages 165-179, 1994 BibTeX
  • Vergauwen, Bart; Lewi, Johan. Efficient local correctness checking for single and alternating boolean equation systems, Abiteboul, S.; Shamir, E (eds.), ICALP'94, ICALP'94, pages 304-315, 1994 BibTeX
  • Vergauwen, Bart; Wauman, J.; Lewi, Johan. Efficient FixPoint computation, Le Charlier, B (ed.), First International Static Analysis Symposium (SAS), First International Static Analysis Symposium (SAS), pages 314-328, 1994 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, Antwerp, Belgium, 23 November 1994, Object Gericht Programmeren, pages 1-25, KVIV 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 Oct 26 2014 0:23 am; It contains now 10943 items.

Yearly overview:

Select a year to view the distrinet publications for that year.

2015 2014 2013 2012 2011 2010
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000
1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
1989 1988 1987 1986 1985 1984 1983 1982 1981 1980
<1980

 

Search pubs of DISTRINET

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page