4880 search results - page 518 / 976 » Manuals as Structured Programs |
188
click to vote
SIGCSE
1996
ACM
15 years 11 months ago
1996
ACM
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
208
click to vote
ICCAD
1992
IEEE
15 years 11 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
138
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
163
click to vote
WSC
2007
15 years 9 months ago
2007
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
144
click to vote
ENTCS
2010
15 years 7 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...