10870 search results - page 1763 / 2174 » Model Checking Programs |
188
Voted
CGI
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
166
Voted
GLOBECOM
2006
IEEE
16 years 27 days ago
2006
IEEE
Telecommunication companies, such as Internet and cellular service providers, are seeing rapid and uncertain growth of traffic routed through their networks. It has become a chall...
144
Voted
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...
180
click to vote
RTAS
2006
IEEE
16 years 26 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
197
Voted
RTSS
2006
IEEE
16 years 26 days ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...