4757 search results - page 687 / 952 » Monads for Functional Programming |
168
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
144
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
191
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
177
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
181
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...