20126 search results - page 3423 / 4026 » Timed Transition Systems |
186
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we describe a whole-system live migration scheme, which transfers the whole system run-time state, including CPU state, memory data, and local disk storage, of th...
185
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
213
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
190
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
239
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Image segmentation plays an important role in image analysis and computer vision system. Among all segmentation techniques, the automatic thresholding methods are widely used be...