Sciweavers

1975 search results - page 73 / 395
» Property analysis and design understanding
Sort
View
SIAMJO
2002
117views more  SIAMJO 2002»
15 years 5 months ago
Analysis of Generalized Pattern Searches
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
Charles Audet, J. E. Dennis Jr.
CSFW
2006
IEEE
16 years 1 days ago
Policy Analysis for Administrative Role Based Access Control
Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many adminis...
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R....
140
Voted
IEEEMSP
2002
IEEE
134views Multimedia» more  IEEEMSP 2002»
15 years 11 months ago
Beat-ID: identifying music via beat analysis
— Music identification is an effective tool that enables multimedia players to extract a distinct statistical digest of the played content, look up into a music database using t...
Darko Kirovski, Hagai Attias
ASPDAC
2010
ACM
112views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Optimizing blocks in an SoC using symbolic code-statement reachability analysis
Abstract-- Optimizing blocks in a System-on-Chip (SoC) circuit is becoming more and more important nowadays due to the use of third-party Intellectual Properties (IPs) and reused d...
Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo
FSE
2003
Springer
99views Cryptology» more  FSE 2003»
15 years 11 months ago
Analysis of Involutional Ciphers: Khazad and Anubis
In this paper we study structural properties of SPN ciphers in which both the S-boxes and the affine layers are involutions. We apply our observations to the recently designed Rijn...
Alex Biryukov