2373 search results - page 63 / 475 » Towards a Model of Computer Systems Research |
144
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
123
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
156
Voted
AICCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
Autonomic Computing was introduced to reduce the complexity of managing computing systems; however, the heterogeneous nature existing in most computing systems introduces some dif...
131
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
169
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...