112 search results - page 23 / 23 » Efficient execution in an automated reasoning environment |
ICAC
2009
IEEE
15 years 4 months 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...
186
click to vote
GIS
2004
ACM
15 years 10 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...