1080 search results - page 35 / 216 » Improving Software Inspections by Using Reading Techniques |
SPIN
2004
Springer
15 years 2 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
CDES
2006
14 years 11 months ago
2006
As the speed gap between CPU and I/O is getting wider and wider, I/O latency plays a more important role to the overall system performance than it used to be. Prefetching consecut...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
AUIC
2006
IEEE
15 years 3 months ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...