Sciweavers

3192 search results - page 275 / 639
» Translating Model Simulators to Analysis Models
Sort
View
133
Voted
ISQED
2010
IEEE
126views Hardware» more  ISQED 2010»
15 years 5 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...
IMR
2004
Springer
15 years 9 months ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
118
Voted
ASAP
1997
IEEE
155views Hardware» more  ASAP 1997»
15 years 7 months ago
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
119
Voted
VR
2007
IEEE
133views Virtual Reality» more  VR 2007»
15 years 9 months ago
VRFire: an Immersive Visualization Experience for Wildfire Spread Analysis
Wildfires are a frequent summer-time concern for land managers and communities neighboring wildlands throughout the world. Computational simulations have been developed to help an...
William R. Sherman, Michael Penick, Simon Su, Timo...
150
Voted
HICSS
2009
IEEE
662views Biometrics» more  HICSS 2009»
15 years 10 months ago
Modeling Collaborative Behavior: Foundations for Collaboration Technologies
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
Steven E. Poltrock, Mark Handel