2903 search results - page 338 / 581 » On the univalence of an integral operator |
188
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
149
click to vote
ALP
1990
Springer
15 years 11 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
188
click to vote
PLDI
1989
ACM
15 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
155
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
169
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In Grid service, resource management is important to support capability for good quality and efficiency for the computing and storage service. In order to provide this re...