1104 search results - page 26 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
SIGMETRICS
2010
ACM
13 years 7 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
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...
PPOPP
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Machining time is a major performance criterion when it comes to high speed machining. CAM software can help in estimating that time for a given strategy. But in practice, CAM pro...