Sciweavers

1663 search results - page 107 / 333
» Validation and Verification of Simulation Models
Sort
View
120
Voted
ATAL
2005
Springer
15 years 9 months ago
An agent-based approach for managing symbiotic simulation of semiconductor assembly and test operation
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
Malcolm Yoke-Hean Low, Kong Wei Lye, Peter Lenderm...
156
Voted
COMPENG
2010
265views Algorithms» more  COMPENG 2010»
15 years 7 months ago
Ontological Framework to Model Critical Infrastructures and their Interdependencies
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
Elisa Castorini, Paolo Palazzari, Alberto Tofani, ...
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Preferable Improvements and Changes to FB-DiMM High-Speed Channel for 9.6Gbps Operation
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...
Atsushi Hiraishi, Toshio Sugano, Hideki Kusamitsu
134
Voted
IPSN
2004
Springer
15 years 9 months ago
Modeling of sensor nets in Ptolemy II
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiao...
DAC
2006
ACM
16 years 4 months ago
Efficient simulation of critical synchronous dataflow graphs
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
Chia-Jui Hsu, José Luis Pino, Ming-Yung Ko,...