1492 search results - page 198 / 299 » Concurrent programming in VISO |
113
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
119
Voted
ENTCS
2006
15 years 22 days 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...
141
Voted
TACAS
2010
Springer
15 years 7 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...
101
click to vote
RTAS
2008
IEEE
15 years 7 months 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...
100
click to vote
IPPS
2006
IEEE
15 years 6 months 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...