14078 search results - page 1966 / 2816 » Design and Analysis of Computer Algorithms |
251
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
215
click to vote
IC
2009
15 years 5 months ago
2009
mDNS is a proposed DNS-aware, hierarchical, and scalable multicast session directory architecture that enables multicast session registration and makes them discoverable in real ti...
245
click to vote
ICPPW
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
214
click to vote
VLSISP
2011
15 years 2 months ago
2011
Abstract Fractional Motion Estimation (FME) in highdefinition H.264 presents a significant design challenge in terms of memory bandwidth, latency and area cost as there are various...
168
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...