21007 search results - page 3824 / 4202 » Mobile Parallel Computing |
181
click to vote
ISCC
2005
IEEE
16 years 11 days ago
2005
IEEE
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...
210
click to vote
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
191
click to vote
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
162
Voted
SKG
2005
IEEE
16 years 10 days ago
2005
IEEE
Efficient task scheduling is critical to achieving high performance on grid computing environment. A heuristic task scheduling algorithm satisfied resources load balancing on grid ...
179
Voted
SC
2005
ACM
16 years 10 days ago
2005
ACM
Advanced instruments in a variety of scientific domains are collecting massive amounts of data that must be postprocessed and organized to support research activities. Astronomers...