Sciweavers

5012 search results - page 215 / 1003
» Distributed Error Correction
Sort
View
CSDA
2006
79views more  CSDA 2006»
15 years 6 months ago
Nonlinear dynamics in Nasdaq dealer quotes
A nonlinear dynamic model for the quotes issued by Nasdaq dealers is considered, focussing on the top two Electronic Communication Networks (ECNs), Island and Instinet, and the th...
Bart Frijns, Peter C. Schotman
ICDE
2011
IEEE
220views Database» more  ICDE 2011»
14 years 10 months ago
Generating test data for killing SQL mutants: A constraint-based approach
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep ...
SOSP
1993
ACM
15 years 7 months ago
Handling Audio and Video Streams in a Distributed Environment
Handling audio and video in a digital environment requires timely delivery of data. This paper describes the principles adopted in the design of the Pandora networked multi-media ...
Alan Jones, Andrew Hopper
ICIP
2010
IEEE
15 years 4 months ago
A scalable multi-view audiovisual entertainment framework with content-aware distribution
Delivery of 3D immersive entertainment to the home remains a highly challenging problem due to the large amount of data involved, and the need to support a wide variety of differe...
Erhan Ekmekcioglu, Banu Gunel, Maheshi B. Dissanay...
CAV
1999
Springer
92views Hardware» more  CAV 1999»
15 years 10 months ago
Latency Insensitive Protocols
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
Luca P. Carloni, Kenneth L. McMillan, Alberto L. S...