We introduce a novel local image descriptor designed for dense wide-baseline matching
purposes. We feed our descriptors to a graph-cuts based dense depth map estimation …

The design of the Georgia Tech Time Warp (GTW, version 2.0) executive for cache-coherent
shared-memory multiprocessors is described. The programmer's interface is presented …

Priority queues are used in many applications including real-time systems, operating
systems, and simulations. Their implementation may have a profound effect on the …

In this paper we propose a multilinear model of human pose and body shape which is
estimated from a database of registered 3D body scans in different poses. The model is …

Global virtual time (GVT) is used in the Time Warp synchronization mechanism to perform
irrevocable operations such as I/O and to reclaim storage. Most existing algorithms for …

In Time Warp optimistic discrete event simulation, there exists a need to occasionally save
the states of the logical processes. The state saving often constitutes a substantial overhead …

Model checking is a promising technique for verifying program behavior and is increasingly
finding usage in industry. To date, however, researchers have primarily considered model …

We present an Incremental State Saving technique for which the state saving calls are
inserted automatically by directly editing the application executable. This method has the …

Many systems rely on the ability to rollback (or restore) parts of the system state to undo or
recover from undesired or erroneous computations. Examples of such systems include fault …

We present a framework, called SWiMNet, for parallel simulation of wireless and mobile
PCS networks, which allows realistic and detailed modeling of mobility, call traffic, and PCS …