3605 search results - page 217 / 721 » Analysis and Applications of the XDI model |
158
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
173
click to vote
WSC
2004
15 years 8 months ago
2004
Homeland defense applications will use large-scale ad-hoc networks of small devices. Routing is a crucial problem, for naive means do not scale well. Geographic Routing (GR) (Karp...
160
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
141
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
173
click to vote
VIZSEC
2004
Springer
15 years 12 months ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...