2042 search results - page 121 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
WSC
2007
13 years 11 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
AUTOMATICA
2008
13 years 9 months ago
2008
This work investigates how stochastic sampling jitter noise affects the result of system identification, and proposes a modification of known approaches to mitigate the effects of...
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
ADAEUROPE
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...