Sciweavers

5247 search results - page 920 / 1050
» Frequency Optimized Computation Methods
Sort
View
CONCUR
1997
Springer
14 years 2 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
CHI
1996
ACM
14 years 2 months ago
Using Small Screen Space More Efficiently
: This paper describes techniques for maximizing the efficient use of small screen space by combining delayed response with semi-transparency of control objects ("widgets"...
Tomonari Kamba, Shawn A. Elson, Terry Harpold, Tim...
JSSPP
1997
Springer
14 years 2 months ago
An Experimental Evaluation of Processor Pool-Based Scheduling for Shared-Memory NUMA Multiprocessors
In this paper we describe the design, implementation and experimental evaluation of a technique for operating system schedulers called processor pool-based scheduling [51]. Our tec...
Tim Brecht
SIGGRAPH
2010
ACM
14 years 2 months ago
Fabricating spatially-varying subsurface scattering
Many real world surfaces exhibit translucent appearance due to subsurface scattering. Although various methods exists to measure, edit and render subsurface scattering effects, no...
Yue Dong, Jiaping Wang, Fabio Pellacini, Xin Tong,...
DAC
1994
ACM
14 years 2 months ago
Rectilinear Steiner Trees with Minimum Elmore Delay
We provide a new theoretical framework for constructing Steiner routing trees with minimum Elmore delay. Earlier work [3, 13] has established Elmore delay as a high delity estima...
Kenneth D. Boese, Andrew B. Kahng, Bernard A. McCo...