2715 search results - page 214 / 543 » Total Generalized Variation |
139
click to vote
ISLPED
2005
ACM
16 years 3 days 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...
180
click to vote
TLDI
2005
ACM
16 years 3 days 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 ...
146
Voted
CALCO
2005
Springer
16 years 2 days 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 ...
162
Voted
CRYPTO
2005
Springer
16 years 2 days 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...
165
Voted
DIS
2005
Springer
16 years 2 days 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...