2303 search results - page 278 / 461 » Interior-Point Methods in Parallel Computation |
134
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 10 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
133
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
121
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Caching web pages is an important part of web infrastructure. The effects of caching services are even more pronounced for wireless infrastructures due to their limited bandwidth. ...
169
click to vote
CW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
135
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
PDAs, cellular phones and other mobile devices are now capable of supporting complex data manipulation operations. Here, we focus on ad-hoc spatial joins of datasets residing in m...