2662 search results - page 501 / 533 » Objects-early tools: a demonstration |
102
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
109
click to vote
EUROSYS
2008
ACM
15 years 6 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Temperature monitoring using thermal sensors is an essential tool for evaluating the thermal behavior and sustaining the reliable operation in high-performance and high-power syst...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...