2303 search results - page 278 / 461 » Interior-Point Methods in Parallel Computation |
181
Voted
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 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...
191
Voted
IPPS
2007
IEEE
16 years 1 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 ...
169
Voted
HPCC
2007
Springer
16 years 1 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. ...
218
click to vote
CW
2006
IEEE
16 years 1 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...
184
Voted
IPPS
2006
IEEE
16 years 1 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...