Sciweavers

11716 search results - page 287 / 2344
» Computable symbolic dynamics
Sort
View
MICRO
2003
IEEE
152views Hardware» more  MICRO 2003»
15 years 12 months ago
A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
Shubhendu S. Mukherjee, Christopher T. Weaver, Joe...
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
15 years 11 months ago
Modal and transition dwell time computation in switching systems: a set-theoretic approach
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
Franco Blanchini, Daniele Casagrande, Stefano Mian...
WSC
1997
15 years 8 months ago
Computational Experience with the Batch Means Method
This article discusses implementation issues for the LBATCH and ABATCH batch means procedures of Fishman and Yarberry (1997). Theses procedures dynamically increase the batch size...
Christos Alexopoulos, George S. Fishman, Andrew F....
TOG
2008
163views more  TOG 2008»
15 years 6 months ago
Imperfect shadow maps for efficient computation of indirect illumination
We present a method for interactive computation of indirect illumination in large and fully dynamic scenes based on approximate visibility queries. While the high-frequency nature...
Tobias Ritschel, Thorsten Grosch, Min H. Kim, Hans...
CVPR
1998
IEEE
16 years 8 months ago
Nonrigid Motion Analysis Based on Dynamic Refinement of Finite Element Models
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar