5506 search results - page 982 / 1102 » Visualizing Software Changes |
150
Voted
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
121
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Debugging data races in parallel applications is a difficult task. Error-causing data races may appear to vanish due to changes in an application's optimization level, thread...
138
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
116
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
129
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...