1481 search results - page 103 / 297 » Optimal Reductions in Interaction Systems |
174
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
126
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
171
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
To minimize the surging power consumption of microprocessors, adaptive computing environments (ACEs) where microarchitectural resources can be dynamically tuned to match a program...
145
click to vote
JNW
2006
15 years 4 months ago
2006
With the standardization of IEEE 802.11, there has been an explosive growth of wireless local area networks (WLAN). Recently, this cost effective technology is being developed aggr...
148
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This work describes a data fusion technique to improve performances in objects localization and tracking for automatic video surveillance systems. The developed strategy is design...