73 search results - page 4 / 15 » Continuization of Timed Petri Nets: From Performance Evaluat... |
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
ICAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Most parallel machines, such as clusters, are spaceshared in order to isolate batch parallel applications from each other and optimize their performance. However, this leads to lo...
NETWORKING
2007
13 years 8 months ago
2007
Abstract. The wide deployment of 802.11 WLANs has led to the coexistence of wired and wireless clients in a network environment. This paper presents a robust technique to detect 80...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
FMSD
2006
13 years 7 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...