9626 search results - page 1775 / 1926 » Invariant Based Programming |
111
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
119
click to vote
ISPD
2010
ACM
15 years 8 months ago
2010
ACM
Timing-driven placement is a critical step in nanometerscale physical synthesis. To improve design timing on a global scale, net-weight based global timing-driven placement is a c...
137
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
95
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
119
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...