Sciweavers

7943 search results - page 1210 / 1589
» A calculus for costed computations
Sort
View
ISCAS
2007
IEEE
96views Hardware» more  ISCAS 2007»
16 years 1 months ago
Modeling and Synthesis of Hardware-Software Morphing
— In state of the art hardware-software-co-design flows for FPGA based systems, the hardware-software partitioning problem is solved offline, thus, omitting the great flexibil...
Dirk Koch, Christian Haubelt, Thilo Streichert, J&...
KBSE
2007
IEEE
16 years 1 months ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
LCN
2007
IEEE
16 years 1 months ago
Dynamic Group Membership Management for Distributed Interactive Applications
Abstract—Distributed interactive applications have become increasingly popular, making it important to address their communication needs, where one of the needs is group communic...
Knut-Helge Vik, Carsten Griwodz, Pål Halvors...
LCN
2007
IEEE
16 years 1 months ago
A Prototype Power Management Proxy for Gnutella Peer-to-Peer File Sharing
— In order to be part of a peer-to-peer (P2P) file sharing network a host must be fully powered-on all of the time. In addition to providing a user interface, a P2P host handles ...
Miguel Jimeno, Kenneth J. Christensen
MMM
2007
Springer
128views Multimedia» more  MMM 2007»
16 years 1 months ago
Video Histogram: A Novel Video Signature for Efficient Web Video Duplicate Detection
The explosive growth of information technology and digital content industry stimulates various video applications over the Internet. Since it is quite easy to copy, reformat, modif...
Lu Liu, Wei Lai, Xian-Sheng Hua, Shi-Qiang Yang
« Prev « First page 1210 / 1589 Last » Next »