Sciweavers

192 search results - page 33 / 39
» Real-Time Correction of Closed-Captions
Sort
View
SI3D
2005
ACM
14 years 1 months ago
Real-time relief mapping on arbitrary polygonal surfaces
This paper presents a technique for mapping relief textures onto arbitrary polygonal models in real time. In this approach, the mapping of the relief data is done in tangent space...
Fabio Policarpo, Manuel M. Oliveira, João L...
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
14 years 27 days ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
GI
2004
Springer
14 years 25 days ago
Reliability study of an embedded operating system for industrial applications
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
RTAS
2003
IEEE
14 years 21 days ago
Evaluation of Application-aware Heterogeneous Embedded Systems for Performance and Energy Consumption
In this work, we first present an application-initiated strategy that aims to control the energy consumption, while simultaneously enhancing the performance of a heterogeneous emb...
Jayaprakash Pisharath, Nan Jiang, Alok N. Choudhar...
CSCW
2000
ACM
13 years 11 months ago
Evolution of Contact Point: a case study of a help desk and its users
This paper describes the evolution of a concept, Contact Point, the research process through which it evolved, and the work context and practices which drove its evolution. Contac...
Lena Mamykina, Catherine G. Wolf