5898 search results - page 775 / 1180 » Parallel Computing Environments and Methods |
156
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 14 days 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...
157
click to vote
IPPS
2007
IEEE
16 years 14 days 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 ...
145
click to vote
HPCC
2007
Springer
16 years 9 days 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. ...
159
click to vote
IPPS
2006
IEEE
16 years 5 days 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...
161
click to vote
SKG
2006
IEEE
16 years 5 days ago
2006
IEEE
Peer-to-peer networks (P2P) are beginning to form the infrastructure of future applications. One of the problems with unstructured P2P networks is their scalability limitation. Th...