491 search results - page 52 / 99 » Characterization of a metastability measurement system |
174
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Accurately modeling server power consumption is critical in designing data center power provisioning infrastructure. However, to date, most research proposals have used average CP...
195
click to vote
MSCS
2006
15 years 6 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
158
click to vote
TWC
2008
15 years 6 months ago
2008
We introduce a new system performance measure due to handoff called handoff interference, which characterizes the additional interference noise induced by the handoff process. The ...
140
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this part, we consider the capacity analysis for wireless mobile systems with multiple antenna architectures. We apply the results of the first part to a commonly known baseban...
198
click to vote
SOCO
2010
Springer
15 years 25 days ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...