2715 search results - page 214 / 543 » Total Generalized Variation |
104
Voted
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
This paper presented a hierarchical power management architecture which aims to facilitate power-awareness in an Energy-Managed Computer (EMC) system with multiple components. The...
145
click to vote
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
101
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful ...
113
Voted
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
We describe two new public key broadcast encryption systems for stateless receivers. Both systems are fully secure against any number of colluders. In our first construction both...
128
Voted
DIS
2005
Springer
15 years 9 months ago
2005
Springer
We consider the problem of discovering the optimal pattern from a set of strings and associated numeric attribute values. The goodness of a pattern is measured by the correlation b...