10159 search results - page 1608 / 2032 » System Design Validation Using Formal Models |
178
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
197
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
We study video transcoding for accelerated channel changes in IPTV systems. Video transcoding at the Retransmission Server not only reduces the channel change latency, but also re...
192
click to vote
ACL
2010
15 years 4 months ago
2010
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
221
click to vote
KCAP
2003
ACM
16 years 4 days ago
2003
ACM
Tools for filtering the World Wide Web exist, but they are hampered by the difficulty of capturing user preferences in such a diverse and dynamic environment. Recommender systems ...
172
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Within-die variation in leakage power consumption is substantial and increasing for chip-level multiprocessors (CMPs) and multiprocessor systems-on-chip. Dealing with this problem...