3218 search results - page 445 / 644 » Timed Extensions for SDL |
171
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
183
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
160
click to vote
ICDCS
2003
IEEE
2003
IEEE
An Integrated Resource Sharing Policy for Multimedia Storage Servers Based on Network-Attached Disks
15 years 11 months ago
In this paper, we propose using the network-attached disk (NAD) architecture to design highly scalable and cost-effective multimedia-on-demand (MOD) servers. In order to ensure en...
157
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
176
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...