Sciweavers

1886 search results - page 72 / 378
» Verifying and validating a simulation model
Sort
View
MOBIHOC
2009
ACM
15 years 10 months ago
Characterizing the exit process of a non-saturated IEEE 802.11 wireless network
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
Punit Rathod, Onkar Dabeer, Abhay Karandikar, Anir...
WCE
2007
14 years 11 months ago
3-D Finite Element Modelling of Water Jet Spot Welding
— A 3-D finite element model is used to simulate water jet spot welding. The simulation is validated using the experimental data obtained by one of authors with other workers. Th...
Mahmoud Chizari, S. T. S. Al Hassani, L. M. Barret...
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 4 months ago
A New Approach for Combining Yield and Performance in Behavioural Models for Analogue Integrated Circuits
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
Sawal Ali, Reuben Wilcock, Peter R. Wilson, Andrew...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 1 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
MSWIM
2004
ACM
15 years 3 months ago
Detailed models for sensor network simulations and their impact on network performance
Recent trends in sensor network simulation can be divided between less flexible but accurate emulation based approach and more generic but less detailed network simulator models....
Maneesh Varshney, Rajive Bagrodia