3436 search results - page 297 / 688 » Software Tools for Performance Modeling of Parallel Programs |
135
click to vote
WOTUG
2008
15 years 4 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
116
Voted
HIPEAC
2010
Springer
16 years 14 days ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
115
click to vote
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
247
Voted
IWOMP
2011
Springer
14 years 6 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
123
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...