4118 search results - page 705 / 824 » Mechanisms for usage control |
114
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
138
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
131
click to vote
DSN
2009
IEEE
2009
IEEE
Processor reliability enhancement through compiler-directed register file peak temperature reduction
15 years 8 months ago
Each semiconductor technology generation brings us closer to the imminent processor architecture heat wall, with all its associated adverse effects on system performance and reliab...
143
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
We study the problem of optimal resource allocation for multi-user wireless video transmissions from an informationtheoretic point of view. We show that the previously known optima...
167
click to vote
ICCTA
2007
IEEE
15 years 8 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...