Sciweavers

2299 search results - page 15 / 460
» Logical Data Expiration
Sort
View
3DIC
2009
IEEE
258views Hardware» more  3DIC 2009»
14 years 2 months ago
A capacitive coupling interface with high sensitivity for wireless wafer testing
—A high-sensitivity capacitive-coupling interface is presented for wireless wafer testing systems. The transmitter is a buffer that drives the transmitter pad, and the receiver c...
Gil-Su Kim, Makoto Takamiya, Takayasu Sakurai
ICDE
2009
IEEE
130views Database» more  ICDE 2009»
14 years 9 months ago
Recursive Computation of Regions and Connectivity in Networks
In recent years, the data management community has begun to consider situations in which data access is closely tied to network routing and distributed acquisition: examples includ...
Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Za...
DATE
2007
IEEE
56views Hardware» more  DATE 2007»
14 years 2 months ago
Unknown blocking scheme for low control data volume and high observability
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
Seongmoon Wang, Wenlong Wei, Srimat T. Chakradhar
TKDE
2010
152views more  TKDE 2010»
13 years 6 months ago
Maintaining Recursive Views of Regions and Connectivity in Networks
— The data management community has recently begun to consider declarative network routing and distributed acquisition: e.g., sensor networks that execute queries about contiguou...
Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Za...
MPC
2000
Springer
113views Mathematics» more  MPC 2000»
13 years 11 months ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
Richard Bornat