4867 search results - page 131 / 974 » Fluid Models in Performance Analysis |
152
Voted
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
150
Voted
AIS
2007
Springer
15 years 5 months ago
2007
Springer
We address the relationship between a music performer and her instrument as a possible model for re-thinking wearable technologies. Both musical instruments and textiles invite pa...
142
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we study the performance of the IEEE 802.11 MAC protocol under a range of jammers that covers both channel-oblivious and channel-aware jamming. We study two chann...
149
click to vote
WSC
1997
15 years 6 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
149
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Wireless mesh networks (WMNs) have recently emerged to be a cost-effective solution to support large-scale wireless Internet access. One important component of realizing large-...