5972 search results - page 1163 / 1195 » Extending Design Environments to Software Architecture Desig... |
111
click to vote
CF
2009
ACM
15 years 6 months ago
2009
ACM
Energy consumption and heat dissipation have become key considerations for modern high performance computer systems. In this paper, we focus on non-clairvoyant speed scaling to mi...
RANDOM
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...
156
click to vote
TROB
2010
14 years 8 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
217
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
165
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Checkpoint-recovery based virtual machine (VM) replication is an attractive technique for accommodating VM installations with high-availability. It provides seamless failover for ...