10038 search results - page 2006 / 2008 » Model Checking for Managers |
95
Voted
HPCA
2011
IEEE
14 years 29 days ago
2011
IEEE
Future CMPs will combine many simple cores with deep cache hierarchies. With more cores, cache resources per core are fewer, and must be shared carefully to avoid poor utilization...
111
Voted
ICDT
2011
ACM
14 years 29 days ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
120
click to vote
SACMAT
2011
ACM
14 years 10 days ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
177
click to vote
SIGECOM
2011
ACM
14 years 9 days ago
2011
ACM
While social interactions are critical to understanding consumer behavior, the relationship between social and commerce networks has not been explored on a large scale. We analyze...
AAAI
2011
13 years 9 months ago
2011
One proposed approach to managing a large complex Smart Grid is through Broker Agents who buy electrical power from distributed producers, and also sell power to consumers, via a ...