[CSIM logo]

Prof. Amir Pnueli Lecture

[AIT logo]

On March 6th, 1998, Professor Amir Pnueli on "Verifying Out-of-Order Execution".

The Lecture took place in RCC auditorium, the room can host 90 persons.

The Lecture was conducted using two overhead projectors.

The Lecture was broadcasted on AI3bone.

There is one major thing that could be learned from this experince:

The setting of the equipment was as follow:


(blue lines are for computer network, red lines are for audio, green lines are for video)

AI3bone

Multicast on AI3bone was done throught AI3 satellite link, this was hight bandwidth broadcasting dedicated to AI3 project only. The settings for the softwares were as follow:

Line Attenuator

This important, home made gadget, allows to adapt the level and impedance of an audio line-out (from VCR, preamplifier, audio mixer, etc.) to the level and impedance of a microphone. This allows to connect the line-out to the microphone entry of the sound card of a computer.

Synopsis of the Line Attenuator Line Attenuator
This device had to be developped after we noticed that many video conferencing software will only accept audio input from the microphone, they could not be set-up to get imput from the line-in connector of the sound card. That limitation was not permitting to use several microphones, via an audio mixer for example, or to feed the sound from a video tape.

Audio Mixer

Public addressed audio mixer, with 6 channels:

Equalizer function can be a plus, but it needs fine tunning.

Audio Mixer

The audio mixer is used in mono mode as only one sound channel is feed to the computers.

Video Mixer

Public addressed video mixer, with 2 video inputs, monitor, reccord and preview outputs. Given the high bandwidth used for image, some mixing effects were possible, like inclusion of the Lecturer image on top of the slide. Transition effects were possible too.

VCR for Reccording

Public addressed VCR with reccord function, used to keep a video archive of the event, this video can be used to built up a library of video conferences in the future.

Control

Public addressed monitor, used to control the image that is reccorded. It also allows to control the image that is sent to the computer.

Auditorim Sonorisation

Sonorisation of the auditorium was provided by RCC technician. The sound was output to the audio mixer for feeding to the computer.

Camera

Public addressed camcoder, 12x zoom, 0.4 Lux sensitivity, built in LCD screen for easy use by the cameramen.

Preview Monitors

Public addressed monitors used at the video control place to view the image from each camera, before they can be send to the computers.


This page is maintained by Olivier Nicole