9049 search results - page 4 / 1810 » The New C Standard |
161
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a new multiprocessor platform for high throughput turbo decoding. The proposed platform is based on a new configurable ASIP combined with an efficient memory a...
188
click to vote
JACM
2002
15 years 5 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
191
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
168
click to vote
JAMIA
2011
14 years 8 months ago
2011
Background Systematic study of clinical phenotypes is important for a better understanding of the genetic basis of human diseases and more effective gene-based disease management....
164
click to vote
SAC
2009
ACM
16 years 16 days ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...