Sciweavers

3856 search results - page 169 / 772
» Web-based Simulation Experiments
Sort
View
ASPDAC
2012
ACM
241views Hardware» more  ASPDAC 2012»
12 years 3 months ago
On error modeling of electrical bugs for post-silicon timing validation
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
Ming Gao, Peter Lisherness, Kwang-Ting Cheng, Jing...

Presentation
956views
12 years 1 months ago
A Method for Distributed Computaion of Semi-Optimal Multicast Tree in MANET
In this paper, we propose a new method to construct a semi-optimal QoS-aware multicast tree on MANET using distributed computation of the tree based on Genetic Algorithm (GA). This...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
11 years 10 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
BIOSYSTEMS
2008
77views more  BIOSYSTEMS 2008»
13 years 8 months ago
A computational model of chemotaxis-based cell aggregation
We present a computational model that successfully captures the cell behaviors that play important roles in 2-D cell aggregation. A virtual cell in our model is designed as an ind...
Manolya Eyiyurekli, Prakash Manley, Peter I. Lelke...
PRESENCE
2000
89views more  PRESENCE 2000»
13 years 7 months ago
Using Presence Questionnaires in Reality
A between-group experiment was carried out to assess whether two different presence questionnaires can distinguish between real and virtual experiences. One group of 10 subjects s...
Martin Usoh, Ernest Catena, Sima Arman, Mel Slater