Bertrand Delsart

According to our database, Bertrand Delsart authored at least 5 papers between 1992 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Mackinac: Making HotSpot^TM Real-Time.

Gregory Bollella, Bertrand Delsart, Romain Guider, Christophe Lizzi, Frédéric Parain

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

2002

JCOD: A Lightweight Modular Compilation Technology for Embedded Java.

Bertrand Delsart, Vania Joloboff, Eric Paire

Proceedings of the Embedded Software, Second International Conference, 2002

1998

TurboJ, a Java Bytecode-to-Native Compiler.

Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler

Proceedings of the Languages, 1998

1994

E-unification en demonstration automatique. (E-unification in automated deduction).

Bertrand Delsart

PhD thesis, 1994

1992

A New Approach to General E-Unification Based on Conditional Rewriting Systems.

Bertrand Delsart

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992