7778 search results - page 389 / 1556 » Designing Controllers for Reachability |
132
Voted
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
On an SoC bus, contentions occur while different IP cores request the bus access at the same time. Hence an arbiter is mandatory to deal with the contention issue on a shared bus s...
157
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
151
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
165
Voted
SOFSEM
2000
Springer
15 years 8 months ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
140
Voted
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
W e quantify the observation by Kender and Freudenstein [6] that degenerate views occupy a significant fraction of the viewing sphere surrounding an object. This demonstrates that...