4743 search results - page 280 / 949 » The PlusCal Algorithm Language |
104
Voted
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
215
Voted
POS
1998
Springer
15 years 8 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
113
Voted
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
139
Voted
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
147
Voted
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...