80 search results - page 15 / 16 » An Interactive Model Re-Coder for Efficient SoC Specificatio... |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Four-dimensional ultrasound based on matrix phased array transducers can capture the complex 4D cardiac motion in a complete and real-time fashion. However, the large amount of in...
NGC
2001
Springer
14 years 4 days ago
2001
Springer
Bi-directional shared tree is an efficient routing scheme for interactive multicast applications with multiple sources. Given the open-group IP multicast service model, it is impor...
AAAI
1994
13 years 9 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...