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...
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
Let Sm be the set of symmetric bilinear forms on an m-dimensional vector space over GF(q), where q is a power of two. A subset Y of Sm is called an (m, d)-set if the difference of...
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
Abstract--The closed-form exact bit error rate (BER) expressions of generalized orthogonal space-time block codes (OSTBCs) are first derived for quadrature amplitude modulation (QA...