3742 search results - page 446 / 749 » On the Use of Formal Techniques for Validation |
202
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
230
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
124
click to vote
OODBS
1992
15 years 10 months ago
1992
This paper addresses the problem of de ning views that span several objectbases. Views are expressed in terms of an object algebra. We are interested in the degrees of coupling an...
166
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
153
click to vote
WSC
2008
15 years 9 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...