Sciweavers

4887 search results - page 452 / 978
» System Level Design Using C
Sort
View
165
Voted
AGENTS
2000
Springer
15 years 11 months ago
Towards a fault-tolerant multi-agent system architecture
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
Sanjeev Kumar, Philip R. Cohen
IPTPS
2003
Springer
16 years 10 days ago
Rationality and Self-Interest in Peer to Peer Networks
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...
Jeffrey Shneidman, David C. Parkes
WETICE
2000
IEEE
15 years 10 months ago
Developing and Evaluating Collaborative Engineering Studios
We discuss a vision of and work in progress on a collaborative engineering environment, the Collaborative Design Studio, being developed at the Geometric and Intelligent Computing...
Jonathan Sevy, Vera Zaychik, Thomas T. Hewett, Wil...
MM
2010
ACM
202views Multimedia» more  MM 2010»
15 years 5 months ago
Accelerated IPTV channel change with transcoded unicast bursting
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...
Zhi Li, Ali C. Begen, Xiaoqing Zhu, Bernd Girod
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 11 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu