2300 search results - page 229 / 460 » Maximally Concurrent Programs |
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
224
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
210
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
183
click to vote
RTAS
2008
IEEE
16 years 28 days ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
160
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...