Sciweavers

6666 search results - page 1162 / 1334
» Reconfigurable Computing for High Performance Networking App...
Sort
View
EPEW
2007
Springer
16 years 20 days ago
Towards an Automatic Modeling Tool for Observed System Behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
IWNAS
2006
IEEE
16 years 15 days ago
Towards a More Accurate Availability Evaluation
Data availability evaluation is the crucial problem to build large-scale, high available peer-to-peer storage systems by governing many unreliable hosts. However, many recent stud...
Zhi Yang, Jing Tian, Yafei Dai
NOSSDAV
2004
Springer
15 years 12 months ago
An adaptive multiple retransmission technique for continuous media streams
Retransmission can be used for loss recovery in continuous media applications but the number of retransmission attempts is bounded by the size of the playout buffer. For efficient...
Rishi Sinha, Christos Papadopoulos
DIMACS
1996
15 years 7 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
MVA
2006
205views Computer Vision» more  MVA 2006»
15 years 6 months ago
Ontological inference for image and video analysis
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
Christopher Town
« Prev « First page 1162 / 1334 Last » Next »