1105 search results - page 62 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
123
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
100
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
119
click to vote
IJBC
2010
14 years 11 months ago
2010
In this paper, a symbolic dynamical model of the average queue size of the random early detection (RED) algorithm is proposed. The conditions on both the system parameters and the...
151
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
130
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...