6800 search results - page 103 / 1360 » Testing with Functions as Specifications |
DAGSTUHL
2007
13 years 9 months ago
2007
In this paper we give the first deterministic polynomial time algorithm for testing whether a diagonal depth-3 circuit C(x1, . . . , xn) (i.e. C is a sum of powers of linear funct...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
DSD
2009
IEEE
13 years 12 months ago
2009
IEEE
Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible functi...
RECOMB
2008
Springer
14 years 8 months ago
2008
Springer
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
MCS
2008
Springer
13 years 8 months ago
2008
Springer
The purpose of this paper is to quantify the efficiency with which Australian universities utilise their teaching resources. The study estimates the cost efficiency of 36 universi...