1161 search results - page 161 / 233 » Resource Modeling for Timed Creol Models |
121
Voted
ISCA
1997
IEEE
15 years 7 months ago
1997
IEEE
As modern microprocessors employ deeper pipelines and issue multiple instructions per cycle, they are becoming increasingly dependent on accurate branch prediction. Because hardwa...
116
Voted
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
118
Voted
AAAI
2006
15 years 5 months ago
2006
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
118
Voted
CSREASAM
2006
15 years 5 months ago
2006
Mobile technologies are experiencing rapid growth and adoption in both enterprise and consumer markets, as users demand unfettered access to resources, services, and data at any ti...
120
Voted
ALGORITHMICA
2010
15 years 3 months ago
2010
We present a universal algorithm for the classical online problem of caching or demand paging. We consider the caching problem when the page request sequence is drawn from an unkn...