Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...
We have developed a near-real-time computer system which can locate and track a subject's head, and then recognize the person by comparing characteristics of the face to thos...
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
Hot Metal Carriers (HMCs) are large forklift-type vehicles used to move molten metal in aluminium smelters. This paper reports on field experiments that demonstrate that HMCs can ...