1407 search results - page 259 / 282 » Using Use Cases in Executable Z |
125
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
129
click to vote
ISCA
2002
IEEE
15 years 2 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...
133
Voted
CASES
2010
ACM
15 years 11 days ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...
220
click to vote
ICDE
2003
IEEE
16 years 3 months ago
2003
IEEE
Structural join operations are central to evaluating queries against XML data, and are typically responsible for consuming a lion's share of the query processing time. Thus, ...
EUROCRYPT
2009
Springer
16 years 2 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...