563 search results - page 113 / 113 » An Observational Model for Spatial Logics |
120
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
107
click to vote
ICCAD
2010
IEEE
14 years 11 months ago
2010
IEEE
Reducing circuit's peak current plays an important role in circuit reliability in deep sub-micron era. For sequential circuits, it is observed that the peak current has a str...
106
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...