208 search results - page 24 / 42 » Performance evaluation and model checking join forces |
129
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
153
Voted
WSC
2004
15 years 5 months ago
2004
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...
145
Voted
COMCOM
2008
15 years 3 months ago
2008
We present the definition and performance evaluation of a protocol for building and maintaining a connected backbone among the nodes of a wireless sensor networks (WSN). Building ...
119
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
107
Voted
COLING
1996
15 years 4 months ago
1996
Preparation, recording, segmentation and pitch labelling of Slovenian diphone inventories are described. A special user friendly intert'ace package was developed in order to ...