2509 search results - page 181 / 502 » Developing Adaptable Components Using Dynamic Languages |
136
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
This paper studies the problem of memory allocation and scheduling in a multiple query workload with widely varying resource requirements. Several memory allocation and scheduling...
137
Voted
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
142
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
134
Voted
IUI
2000
ACM
15 years 6 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
119
Voted
ITP
2010
15 years 6 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...