884 search results - page 151 / 177 » The Linear Logic of Multisets |
146
click to vote
AOSD
2010
ACM
16 years 25 days ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
154
click to vote
IPPS
2009
IEEE
16 years 18 days ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
174
click to vote
LICS
2009
IEEE
16 years 18 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
157
click to vote
ICFEM
2009
Springer
16 years 16 days ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
158
click to vote
ICTAI
2008
IEEE
16 years 11 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...