3436 search results - page 240 / 688 » Software Tools for Performance Modeling of Parallel Programs |
136
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
151
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
176
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
124
Voted
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
110
click to vote
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...