4323 search results - page 252 / 865 » Callback Implementations in C |
167
click to vote
IPPS
2007
IEEE
15 years 10 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-...
116
click to vote
ETS
2006
IEEE
15 years 10 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...
102
click to vote
ISCAS
2006
IEEE
15 years 10 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...
133
click to vote
ISCAS
2006
IEEE
15 years 10 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...
117
click to vote
ITNG
2006
IEEE
15 years 10 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...