112 search results - page 23 / 23 » Efficient execution in an automated reasoning environment |
169
click to vote
ICAC
2009
IEEE
16 years 23 days ago
2009
IEEE
: © vManage: Loosely Coupled Platform and Virtualization Management in Data Centers Sanjay Kumar, Vanish Talwar, Vibhore Kumar, Parthasarathy Ranganathan, Karsten Schwan HP Labora...
305
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Online multi-participant virtual-world systems have attracted significant interest from the Internet community but are hindered by their inability to efficiently support interacti...