3119 search results - page 160 / 624 » Abstract Requirement Analysis in Multiagent System Design |
98
Voted
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Multiview video coding (MVC) systems require much more bandwidth and computational complexity relative to mono-view video systems. Thus, when designing a VLSI architecture for ...
136
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
167
click to vote
DSVIS
1998
Springer
15 years 7 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
118
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...
111
click to vote
ICCAD
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...