380 search results - page 36 / 76 » Functional reactive programming from first principles |
96
Voted
TIP
2008
15 years 11 days ago
2008
Abstract--This paper studies a family of distributions constructed from multivariate gamma distributions to model the statistical properties of multisensor synthetic aperture radar...
117
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
115
click to vote
CHI
2005
ACM
16 years 26 days ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
ERSHOV
1989
Springer
15 years 4 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
117
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
We study restricted computation models related to the tree evaluation problem. The TEP was introduced in earlier work as a simple candidate for the (very) long term goal of separa...