1915 search results - page 242 / 383 » A language for functional interpretation of model based simu... |
150
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
139
click to vote
IWANN
1997
Springer
15 years 8 months ago
1997
Springer
A detailed connectionist architecture is described which is capable of relating psychological behavior to the functioning of neurons and neurochemicals. The need to be able to bui...
134
click to vote
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
— The main characterisrics of ad hoc networks are the lack of predefined infrastructure and the dynamic topology. These characteristics present some new security vulnerabilities...
134
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...
115
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this article, a new method for performance evaluation of Turbo-like codes is presented. This is based on estimating the Probability Density Function (pdf) of the bit Log-Likelih...