626 search results - page 111 / 126 » Logical Foundations for Data Integration |
DAC
2004
ACM
14 years 18 days ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
CAV
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
ESORICS
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
MICRO
2000
IEEE
14 years 13 days ago
2000
IEEE
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
ARVLSI
1995
IEEE
14 years 12 days ago
1995
IEEE
The task of image acquisition is completely dominated by CCD-based sensors fabricated on specialized process lines. These devices provide an essentially passive means of detecting...