4609 search results - page 420 / 922 » Automatic Generation of Sigma-Protocols |
190
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
429
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
181
click to vote
ACL
2012
13 years 9 months ago
2012
Stanford dependencies are widely used in natural language processing as a semanticallyoriented representation, commonly generated either by (i) converting the output of a constitu...
239
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
171
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Current Network Access Control (NAC) technologies manage the access of new devices into a network to prevent rogue devices from attacking network hosts or services. Typic...