Sciweavers

1248 search results - page 33 / 250
» On the Number of Birch Partitions
Sort
View
TPDS
2002
136views more  TPDS 2002»
13 years 8 months ago
Automatic Partitioning of Parallel Loops with Parallelepiped-Shaped Tiles
In this paper, an efficient algorithm to implement loop partitioning is introduced and evaluated. We start from results of Agarwal et al. [1] whose aim is to minimize the number of...
Fabrice Rastello, Yves Robert
FATES
2003
Springer
14 years 1 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
EJC
2008
13 years 8 months ago
Linked partitions and linked cycles
The notion of noncrossing linked partition arose from the study of certain transforms in free probability theory. It is known that the number of noncrossing linked partitions of [...
William Y. C. Chen, Susan Y. J. Wu, Catherine H. Y...
JCT
2008
53views more  JCT 2008»
13 years 8 months ago
A major index for matchings and set partitions
We introduce a statistic pmaj(P) for partitions of [n], and show that it is equidistributed with cr2, the number of 2-crossings, over all partitions of [n] with given sets of mini...
William Y. C. Chen, Ira M. Gessel, Catherine H. Ya...
ARSCOM
2005
64views more  ARSCOM 2005»
13 years 8 months ago
Further results for partitions into four squares of equal parity
We prove several results dealing with various counting functions for partitions of an integer into four squares of equal parity. Some are easy consequences of earlier work, but tw...
Michael D. Hirschhorn, James A. Sellers