4959 search results - page 728 / 992 » Imperative Functional Programming |
184
click to vote
PODS
2010
ACM
16 years 5 days 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...
156
click to vote
DATE
2002
IEEE
16 years 2 days 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...
208
Voted
ECBS
2002
IEEE
16 years 2 days 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...
193
Voted
ISSRE
2002
IEEE
16 years 1 days 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...
196
Voted
ISSRE
2002
IEEE
16 years 1 days 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...