3218 search results - page 90 / 644 » Timed Extensions for SDL |
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
In this paper, we propose the first wire density driven global routing that considers CMP variation and timing. To enable CMP awareness during global routing, we propose a compac...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— We consider the regression problem for financial time series. Typically, financial time series are non-stationary and volatile in nature. Because of its good generalization p...
MEMOCODE
2006
IEEE
14 years 4 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...