5012 search results - page 215 / 1003 » Distributed Error Correction |
141
click to vote
CSDA
2006
15 years 6 months ago
2006
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...
203
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—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...
173
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
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 ...
167
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
132
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
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...