7195 search results - page 1001 / 1439 » On Computing Power |
211
click to vote
IPPS
2005
IEEE
16 years 15 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
197
click to vote
IPPS
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...
171
click to vote
IPPS
2005
IEEE
16 years 15 days ago
2005
IEEE
Multicast applications for large-scale Mobile Ad hoc NETworks (MANETs) require an efficient and effective Quality of Service (QoS)-aware multicast model. The new requirements to ...
216
click to vote
ISORC
2005
IEEE
16 years 15 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...
183
click to vote
ISPAN
2005
IEEE
16 years 15 days ago
2005
IEEE
— Recently, we have proposed ANSWER: AutoNomouS Wireless sEnsor netwoRk as a service platform whose mission is to provide dependable information services to in-situ mobile users ...