12981 search results - page 2263 / 2597 » Model Checking (Abstract) |
148
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
152
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The objective of the paper is to provide qualitative insight into the global effects of distributed mechanisms, such as carrier sense multiple access (CSMA) and rate co...
168
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a fast algorithm for global motion estimation based on Iterative Least- Square Estimation (ILSE) technique. Compared with the traditional framework, t...
116
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...
136
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...