Sciweavers

5639 search results - page 170 / 1128
» Timed Abstract Non-interference
Sort
View
RT
2001
Springer
15 years 6 months ago
Point-Based Impostors for Real-Time Visualization
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
Michael Wimmer, Peter Wonka, François X. Si...
ICCAD
1999
IEEE
109views Hardware» more  ICCAD 1999»
15 years 6 months ago
Body-voltage estimation in digital PD-SOI circuits and its application to static timing analysis
Partially depleted silicon-on-insulator (PD-SOI) has emerged as a technology of choice for high-performance low-power deep-submicrometer digital integrated circuits. An important c...
Kenneth L. Shepard, Dae-Jin Kim
CC
1999
Springer
107views System Software» more  CC 1999»
15 years 6 months ago
Link-Time Improvement of Scheme Programs
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
Saumya K. Debray, Robert Muth, Scott A. Watterson
107
Voted
IPPS
1998
IEEE
15 years 6 months ago
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, ...
PARA
1998
Springer
15 years 6 months ago
Portable Implementation of Real-Time Signal Processing Benchmarks on HPC Platforms
Abstract. For the evaluation of HPC systems for real-time signal processing, real-time benchmarks have recently been proposed by the US DoD signal processing and HPC communities. F...
Jinwoo Suh, Viktor K. Prasanna