147 search results - page 13 / 30 » Model-based Systems Analysis Using CSIM18 |
INFOCOM
1997
IEEE
13 years 11 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
JELIA
2004
Springer
14 years 23 days ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
TACAS
2005
Springer
14 years 27 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...
IEEEPACT
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...