4520 search results - page 559 / 904 » Algebraic Techniques for Timed Systems |
192
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
193
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
202
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
223
click to vote
TMC
2008
15 years 6 months ago
2008
The future-generation wireless systems will combine heterogeneous wireless access technologies to provide mobile users with seamless access to a diverse set of applications and ser...
194
click to vote
SPAA
1998
ACM
15 years 11 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...