3913 search results - page 196 / 783 » complexity 2006 |
121
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a framework for fast and accurate static timing analysis considering coupling. With technology scaling to smaller dimensions, the impact of coupling induced...
112
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...
106
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
172
click to vote
ADAEUROPE
2006
Springer
15 years 10 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
189
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...