Sciweavers

1886 search results - page 42 / 378
» Verifying and Validating Simulation Models
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
14 years 9 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
ESOP
1999
Springer
15 years 2 months ago
Safe and Principled Language Interoperation
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
Valery Trifonov, Zhong Shao
ISCAS
1999
IEEE
119views Hardware» more  ISCAS 1999»
15 years 2 months ago
A SPICE model for simulating the impedance-frequency characteristics of high frequency PIN switching diodes
A SPICE model for the microwave and RF PIN switching diode is presented. The model simulates the important Iregion charge storage phenomenon and its effect on the PIN diode impeda...
Robert H. Caverly, N. Quinn
WSC
2001
14 years 11 months ago
Database driven factory simulation: a proof-of-concept demonstrator
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...
Lars G. Randell, Gunnar S. Bolmsjö
WSC
1998
14 years 11 months ago
Simulation of Manufacturing Systems
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
Averill M. Law, Michael G. McComas