Sciweavers

3007 search results - page 326 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
VISUALIZATION
2003
IEEE
16 years 2 days ago
Mental Registration of 2D and 3D Visualizations (An Empirical Study)
2D and 3D views are used together in many visualization domains, such as medical imaging, flow visualization, oceanographic visualization, and computer aided design (CAD).Combinin...
Melanie Tory
DATE
2010
IEEE
161views Hardware» more  DATE 2010»
15 years 12 months ago
BISD: Scan-based Built-In self-diagnosis
Abstract—Built-In Self-Test (BIST) is less often applied to random logic than to embedded memories due to the following reasons: Firstly, for a satisfiable fault coverage it may...
Melanie Elm, Hans-Joachim Wunderlich
3DPVT
2002
IEEE
169views Visualization» more  3DPVT 2002»
15 years 11 months ago
Compression of Isosurfaces for Structured Volumes with Context Modelling
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
Dietmar Saupe, Jens-Peer Kuska
LICS
1999
IEEE
15 years 11 months ago
Proof Techniques for Cryptographic Processes
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
182
Voted
ESOP
1999
Springer
15 years 11 months ago
Dynamic Programming via Static Incrementalization
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
Yanhong A. Liu, Scott D. Stoller