3341 search results - page 412 / 669 » Managing a Large |
187
click to vote
PVLDB
2010
15 years 1 months ago
2010
A Cloud may be seen as a type of flexible computing infrastructure consisting of many compute nodes, where resizable computing capacities can be provided to different customers. T...
165
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
In WiFi-based content distribution community infrastructure (CDCI), file servers are deployed in diverse locations around cities, caching popular files interesting to a communit...
183
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
163
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
184
click to vote
PCI
2009
Springer
15 years 11 months ago
2009
Springer
— A large number of tools has recently emerged supporting information management for individuals in their social context. Semantic technologies play an important role in the deve...