Sciweavers

1816 search results - page 260 / 364
» Trace oblivious computation
Sort
View
INFOCOM
1997
IEEE
14 years 1 months ago
Exploiting the Temporal Structure of MPEG Video for the Reduction of Bandwidth Requirements
We propose a new bandwidth allocation scheme for VBR video tra c in ATM networks. The scheme is tailored to MPEG-coded video sources that require stringent and deterministic quali...
Marwan Krunz, Satish K. Tripathi
VISUALIZATION
1997
IEEE
14 years 1 months ago
UFLIC: a line integral convolution algorithm for visualizing unsteady flows
This paper presents an algorithm, UFLIC (Unsteady Flow LIC), to visualize vectordata in unsteadyflow fields. Using the Line Integral Convolution (LIC) as the underlying method, ...
Han-Wei Shen, David L. Kao
DAC
1996
ACM
14 years 29 days ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
CHI
1994
ACM
14 years 28 days ago
Model-based interface development
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
Angel R. Puerta, Pedro Szkeley
REX
1993
14 years 27 days ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel