Sciweavers

2746 search results - page 179 / 550
» Behavioral Simulations in MapReduce
Sort
View
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
15 years 8 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...
ISQED
2010
IEEE
126views Hardware» more  ISQED 2010»
15 years 6 months ago
Modeling and verification of industrial flash memories
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
Sandip Ray, Jayanta Bhadra, Thomas Portlock, Ronal...
DSN
2005
IEEE
15 years 6 months ago
A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks
The behavior of large-scale wireless sensor networks has been shown to be surprisingly complex and difficult to analyze, both by empirical experiment and simulation. In this pape...
Marco Gribaudo, Carla-Fabiana Chiasserini, Rossano...
CORR
2010
Springer
155views Education» more  CORR 2010»
15 years 4 months ago
Data-driven Co-clustering Model of Internet Usage in Large Mobile Societies
Design and simulation of future mobile networks will center around human interests and behavior. We propose a design paradigm for mobile networks driven by realistic models of use...
Saeed Moghaddam, Ahmed Helmy, Sanjay Ranka, Manas ...
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...