17840 search results - page 3239 / 3568 » Heterogeneous Parallel Computing |
175
click to vote
IEEEPACT
2005
IEEE
16 years 8 days ago
2005
IEEE
Current high-performance computer systems are unable to saturate the latest available high-bandwidth networks such as 10 Gigabit Ethernet. A key obstacle in achieving 10 gigabits ...
162
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
— In this paper, we design and implement an improved hardware-based evolutionary digital filter (EDF) version 2. The EDF is an adaptive digital filter which is controlled by ad...
178
click to vote
ISCC
2005
IEEE
16 years 7 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...
206
click to vote
ISORC
2005
IEEE
16 years 7 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...
186
click to vote
ISORC
2005
IEEE
16 years 7 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...