366 search results - page 46 / 74 » Model-checking higher-order functions |
ICC
2007
IEEE
15 years 6 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...
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
BMCBI
2007
14 years 12 months ago
2007
Background: Accurate identification of novel, functional noncoding (nc) RNA features in genome sequence has proven more difficult than for exons. Current algorithms identify and s...
93
Voted
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...