10379 search results - page 222 / 2076 » The Chaos of Software Development |
151
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
154
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
140
click to vote
ITRE
2005
IEEE
16 years 5 days ago
2005
IEEE
— We contrast the current paradigm of information education for the general public with that of mathematics and of foreign languages. This contrast exposes the questionable menta...
168
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We demonstrate that data reordering can substantially improve the performance of fine-grained irregular sharedmemory benchmarks, on both hardware and software shared-memory syste...
167
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...