4491 search results - page 240 / 899 » Algorithm Engineering |
97
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
130
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
90
Voted
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
172
click to vote
SCAM
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
118
Voted
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...