514 search results - page 42 / 103 » Foundations of Aggregation Constraints |
POPL
2002
ACM
14 years 8 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
DFT
2003
IEEE
14 years 1 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
FOCS
1992
IEEE
14 years 4 days ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we look at the outage capacity of the fading relay channel with half-duplex constraint in the low SNR regime. First we consider the scenario that the channel state i...
PVLDB
2010
13 years 6 months ago
2010
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...