439 search results - page 76 / 88 » Type invariants for Haskell |
CIARP
2007
Springer
14 years 1 months ago
2007
Springer
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
WISE
2005
Springer
14 years 1 months ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
The previous research on cluster-based servers has focused on homogeneous systems. However, real-life clusters are almost invariably heterogeneous in terms of the performance, cap...