Sciweavers

2632 search results - page 330 / 527
» Predictive Representations of State
Sort
View
CHES
2005
Springer
281views Cryptology» more  CHES 2005»
16 years 4 hour ago
Data Remanence in Flash Memory Devices
Data remanence is the residual physical representation of data that has been erased or overwritten. In non-volatile programmable devices, such as UV EPROM, EEPROM or Flash, bits ar...
Sergei P. Skorobogatov
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 11 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
VISUALIZATION
2003
IEEE
15 years 11 months ago
Planet-Sized Batched Dynamic Adaptive Meshes (P-BDAM)
We describe an efficient technique for out-of-core management and interactive rendering of planet sized textured terrain surfaces. The technique, called P-Batched Dynamic Adaptiv...
Paolo Cignoni, Fabio Ganovelli, Enrico Gobbetti, F...
WCRE
2003
IEEE
15 years 11 months ago
Fuzzy Extensions for Reverse Engineering Repository Models
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
Ulrike Kölsch, René Witte
ER
2003
Springer
129views Database» more  ER 2003»
15 years 11 months ago
Querying Heterogeneous XML Sources through a Conceptual Schema
XML is a widespread W3C standard used by several kinds of applications for data representation and exchange over the web. In the context of a system that provides semantic integrat...
Sandro Daniel Camillo, Carlos A. Heuser, Ronaldo d...