2302 search results - page 154 / 461 » The Evolution of Concurrent Programs |
182
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
172
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
146
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
159
click to vote
CSMR
2007
IEEE
16 years 20 days ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
152
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...