3742 search results - page 496 / 749 » On the Use of Formal Techniques for Validation |
192
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Application specific systems have potential for customization of design with a view to achieve a better costperformance-power trade-off. Such customization requires extensive de...
191
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
210
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...
172
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
148
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we introduce a new watermarking system for IP protection on post-layout design phase. Firstly the copyright is encrypted by DES (Data Encryption Standard) and then ...