1833 search results - page 63 / 367 » Mechanized Verification with Sharing |
102
click to vote
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
2004, Chang et al. suggested an approach that solves the problem of secret sharing with access structures in a hierarchy. They used the concept of discrete logarithmto reuse shado...
95
Voted
EMSOFT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
121
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
103
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we propose mechanisms to improve the performance of parallel Java applications executing on multiprogrammed shared-memory multiprocessors. The proposal is based on a...
106
Voted
JSSPP
2010
Springer
14 years 10 months ago
2010
Springer
We present the Dynamic Priority (DP) parallel task scheduler for Hadoop. It allows users to control their allocated capacity by adjusting their spending over time. This simple mech...