3451 search results - page 411 / 691 » The Architecture and Implementation of Resource Space Model ... |
228
click to vote
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
174
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
209
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
157
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Integration of Web search with geographic information has recently attracted much attention. There are a number of local Web search systems enabling users to find locationspecific...