4323 search results - page 252 / 865 » Callback Implementations in C |
227
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
152
click to vote
ETS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper proposes a wrapper design for interconnects with guaranteed bandwidth and latency services and on-chip protocol. strate that these interconnects abstract the interconne...
140
Voted
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—A low-latency, HDL-synthesizable dynamic clock frequency controller is presented as a time-efficient alternative to full-custom implementations. Frequency division of a fully in...
190
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper proposes a new reconfigurable architecture for multi-media and wireless communications. The proposed architecture addresses three critical design issues with the loo...
172
click to vote
ITNG
2006
IEEE
16 years 1 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...