5832 search results - page 586 / 1167 » Software complexity and maintainability |
203
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Intelligence analysis is difficult due to the volume and complexity of the data, as well as the subtlety of the connections that have to be made in order to identify threats. Info...
152
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
230
click to vote
HVC
2007
Springer
15 years 11 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
198
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
179
click to vote
ASYNC
2004
IEEE
15 years 11 months ago
2004
IEEE
Register files of microprocessors have often been cited as performance bottlenecks and significant consumers of energy. The robust and modular nature of quasi-delay insensitive (Q...