618 search results - page 80 / 124 » A Practical Program Transformation System for Reverse Engine... |
101
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
131
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...
125
click to vote
PEPM
2010
ACM
16 years 5 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
150
click to vote
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
256
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...