3706 search results - page 100 / 742 » OntoComP System Description |
154
Voted
WSC
1997
15 years 6 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
111
Voted
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
116
Voted
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
126
click to vote
ECRTS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
135
Voted
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...