5564 search results - page 291 / 1113 » Performance Modeling of HPC Applications |
164
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
121
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
145
click to vote
CIC
2004
15 years 5 months ago
2004
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
173
click to vote
SIPS
2008
IEEE
15 years 11 months ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
156
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...