Sciweavers

3468 search results - page 93 / 694
» Solid and physical modeling
Sort
View
ECEASST
2006
111views more  ECEASST 2006»
13 years 9 months ago
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Juan Martin Chiaradía, Claudia Pons
ICCD
2002
IEEE
109views Hardware» more  ICCD 2002»
14 years 5 months ago
Physical Planning Of On-Chip Interconnect Architectures
Interconnect architecture plays an important role in determining the throughput of meshed communication structures. We assume a mesh structure with uniform communication demand fo...
Hongyu Chen, Bo Yao, Feng Zhou, Chung-Kuan Cheng
HICSS
2008
IEEE
102views Biometrics» more  HICSS 2008»
14 years 3 months ago
Retrofitting Cyber Physical Systems for Survivability through External Coordination
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
Kun Xiao, Shangping Ren, Kevin A. Kwiat
WACV
2005
IEEE
14 years 2 months ago
Mapping the Physical Properties of Cosmic Hot Gas with Hyper-Spectral Imaging
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...
Mark O'Dwyer, Ela Claridge, Trevor Ponman, Somak R...
FOCS
1999
IEEE
14 years 1 months ago
Torpid Mixing of Some Monte Carlo Markov Chain Algorithms in Statistical Physics
We study two widely used algorithms, Glauber dynamics and the Swendsen-Wang algorithm, on rectangular subsets of the hypercubic lattice
Christian Borgs, Jennifer T. Chayes, Alan M. Friez...