De Dinechin

Christophe De Dinechin, Valbonne FR

Patent application number	Description	Published
20110047315	Virtualization of real-time clock - A system and corresponding method virtualizes a real-time clock in the presence of a time-disrupting event. The real-time clock is used with physical machines and includes a single time source within each of the physical machines. The system is implemented in one or more programmable devices, which may be hardware and/or software devices, or a combination of hardware and software devices. The physical machines include one or more virtual machines. The system includes an offset module that determines a time difference offset between a virtual interrupt timer counter (ITC	02-24-2011

Patent application number	Description	Published
20080270349	Mapping an active entry within a hashed page table - A method for mapping an active entry within a virtually hashed page table is disclosed. An active entry within a virtually hashed page table is populated. A link table for locating a link at an offset from an active entry is maintained. This link table continues to be maintained as a valid link table until an occupied head bucket threshold is exceeded or a collision has occurred.	10-30-2008

Patent application number	Description	Published
20080219305	Method and Installation for Laser Cutting/Welding - A laser cutting/welding installation including a laser head configured to deliver a laser beam designed to generate a solder bath, the installation also including a cooling device for the laser head. The cooling device includes at least one vortex tube, supplied with compressed gas, the tube including at least one cold gas outlet connected to the laser head for cooling thereof and at least one hot gas outlet.	09-11-2008