2206 search results - page 279 / 442 » On the power of coercion abstraction |
172
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
147
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Information security risk management (ISRM) heavily depends on realistic impact values representing the resources’ importance in the overall organizational context. Alt...
168
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...
166
click to vote
BTW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: Green computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is ne...
193
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...