2661 search results - page 202 / 533 » Model Checking Performability Properties |
144
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of Internet traffic, which severely affects network performance yielding longer queuing delays. Token-bucket policers ...
132
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
131
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
120
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
145
click to vote
SMC
2010
IEEE
15 years 1 months ago
2010
IEEE
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...