5409 search results - page 667 / 1082 » Basic Observables for Processes |
183
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
158
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
177
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Owing to the recent development of digital broadcasting technology such as Satellite, CATV, the Internet and the expansion of the network systems, the amount of video data we can ...
188
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
159
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...