3902 search results - page 369 / 781 » Hardware Synthesis from C C Models |
142
click to vote
CPC
2008
15 years 6 months ago
2008
We analyze the weighted height of random tries built from independent strings of i.i.d. symbols on the finite alphabet {1, . . . , d}. The edges receive random weights whose distr...
202
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
182
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
192
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
206
click to vote
TKDE
2012
13 years 9 months ago
2012
Feature selection is fundamental to knowledge discovery from massive amount of high-dimensional data. In an effort to establish theoretical justification for feature selection al...