Sciweavers

1663 search results - page 147 / 333
» Validation and Verification of Simulation Models
Sort
View
137
Voted
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
15 years 10 months ago
Software-friendly HW/SW co-simulation: an industrial case study
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
Juanjo Noguera, Luis Baldez, Narcis Simon, Lluis A...
MSWIM
2003
ACM
15 years 9 months ago
Adaptive range control using directional antennas in mobile ad hoc networks
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
Mineo Takai, Junlan Zhou, Rajive Bagrodia
132
Voted
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 4 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
MSWIM
2005
ACM
15 years 9 months ago
An analytical model of the virtual collision handler of 802.11e
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
Paal E. Engelstad, Olav N. Østerbø
JCP
2007
214views more  JCP 2007»
15 years 3 months ago
Reconstruction of 3D Human Facial Images Using Partial Differential Equations
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
Eyad Elyan, Hassan Ugail