2067 search results - page 107 / 414 » Modeling and Simulation of Operating System Behavior |
TSP
2008
15 years 2 months ago
2008
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
155
click to vote
DSS
2000
15 years 2 months ago
2000
Abstract. The simple model on which the Internet has operated, with all packets treated equally, and charges only for access links to the network, has contributed to its explosive ...
73
Voted
WSC
2000
15 years 3 months ago
2000
This paper presents some innovations for overcoming shortcomings in the current state-of-the-art for the hierarchy-of-models approach to modeling aggregatedforce attrition in grou...
146
Voted
WSC
2000
15 years 3 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
119
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...