2616 search results - page 435 / 524 » Energy scalable system design |
182
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
177
click to vote
IMC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...
167
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite their superior performance for multimedia applications, vector processors have three limitations that hinder their widespread acceptance. First, the complexity and size of...
194
click to vote
MSWIM
2003
ACM
15 years 11 months ago
2003
ACM
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
160
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we intend to demonstrate a new intuitive force-feedback device for advanced VR applications. Force feedback for the device is tension based and is characterized by ...