220 search results - page 32 / 44 » A Language Independent Approach for Detecting Duplicated Cod... |
215
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
106
click to vote
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
117
click to vote
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we present an alternative separable implementation of L2 -orthogonal space-time codes (STC) for continuous phase modulation (CPM). In this approach, we split the STC...
106
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...