475 search results - page 57 / 95 » Formal Analysis of Processor Timing Models |
119
click to vote
ALDT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
140
click to vote
JCS
2010
15 years 1 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
117
click to vote
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
138
click to vote
DAC
2006
ACM
15 years 9 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
123
click to vote
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...