Sciweavers

1816 search results - page 69 / 364
» Trace oblivious computation
Sort
View
92
Voted
VSTTE
2010
Springer
14 years 10 months ago
An Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
Michael Jastram, Stefan Hallerstede, Michael Leusc...
VLSID
2001
IEEE
117views VLSI» more  VLSID 2001»
16 years 1 months ago
Dynamic Voltage Scheduling Using Adaptive Filtering of Workload Traces
Abstract - An adaptive approach for dynamic voltage scheduling on processors is presented based on workload prediction by filtering a trace history. The effects of update frequency...
Amit Sinha, Anantha Chandrakasan
EGH
2009
Springer
14 years 10 months ago
Faster incoherent rays: Multi-BVH ray stream tracing
High fidelity rendering via ray tracing requires tracing incoherent rays for global illumination and other secondary effects. Recent research show that the performance benefits fr...
John A. Tsakok
DCC
2008
IEEE
16 years 6 days ago
The trace of an optimal normal element and low complexity normal bases
Let Fq be a finite field and consider an extension Fqn where an optimal normal element exists. Using the trace of an optimal normal element in Fqn , we provide low complexity norma...
Maria Christopoulou, Theodoulos Garefalakis, Danie...
84
Voted
CHI
2010
ACM
15 years 7 months ago
ViralVCD: tracing information-diffusion paths with low cost media in developing communities
We describe ViralVCD: a low cost method for tracing paths of information diffusion in developing communities using physical media. We instituted a participatory video framework fo...
Nithya Sambasivan, Ed Cutrell, Kentaro Toyama