5639 search results - page 1031 / 1128 » Timed Abstract Non-interference |
127
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
124
Voted
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
138
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
128
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Threads experiencing long-latency loads on a simultaneous multithreading (SMT) processor may clog shared processor resources without making forward progress, thereby star...
108
click to vote
STACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the management of buffers and storages in environments with unpredictably varying prices in a competitive analysis. In the economical caching problem, there is ...