1617 search results - page 253 / 324 » Modeling and evaluation of hardware software designs |
164
click to vote
EPEW
2006
Springer
15 years 10 months ago
2006
Springer
Benchmarking as a method of assessing software performance is known to suffer from random fluctuations that distort the observed performance. In this paper, we focus on the fluctua...
216
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
164
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
202
click to vote
SIGMETRICS
2006
ACM
16 years 9 days ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
177
click to vote
ICFEM
2007
Springer
16 years 15 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...