6274 search results - page 969 / 1255 » Proofs, Programs, Processes |
108
click to vote
CLUSTER
2004
IEEE
15 years 6 months ago
2004
IEEE
All-to-all broadcast is one of the common collective operations that involve dense communication between all processes in a parallel program. Previously, programmable Network Inte...
123
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
133
click to vote
CIA
2006
Springer
15 years 6 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
120
click to vote
DAS
2006
Springer
15 years 6 months ago
2006
Springer
Traditional approaches to combining classifiers attempt to improve classification accuracy at the cost of increased processing. They may be viewed as providing an accuracy-speed tr...
119
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...