672 search results - page 2 / 135 » On the Expressive Power of the Loop Language |
ISSAC
2004
Springer
14 years 4 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
HIPS
1998
IEEE
14 years 3 months ago
1998
IEEE
Loop interchange is a powerful restructuring technique for supporting vectorization and parallelization. In this paper, we propose a technique which is better to determine whether...
DBPL
1993
Springer
14 years 3 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
INFORMATICALT
2007
13 years 10 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
TCOM
2011
13 years 5 months ago
2011
—We study two power allocation (PA) schemes for distributed transmit diversity systems. We first derive the performance of the instantaneous channel gain feedback-based PA (ICG-...