2302 search results - page 297 / 461 » The Evolution of Concurrent Programs |
140
click to vote
ENTCS
2006
15 years 6 months ago
2006
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
185
click to vote
SCP
2010
15 years 4 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
183
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
207
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
179
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
Many parallel applications from scientific computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...