Sciweavers

374 search results - page 61 / 75
» IP = PSPACE using Error Correcting Codes
Sort
View
EUROSYS
2008
ACM
14 years 5 months ago
Documenting and automating collateral evolutions in linux device drivers
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
Yoann Padioleau, Julia L. Lawall, René Rydh...
PICS
2003
13 years 9 months ago
Robust Processing of Color Target Measurements for Device Characterization
Device  characterization  typically  involves  generating one  or  more  targets  each  comprising  a  number  of  color patches  and  making  colorimetric  measu...
Raja Bala, Gaurav Sharma, Dennis Venable
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
CORR
2006
Springer
119views Education» more  CORR 2006»
13 years 8 months ago
An approach to RAID-6 based on cyclic groups of a prime order
As the size of data storing arrays of disks grows, it becomes vital to protect data against double disk failures. An economic way of providing such protection consists of adding tw...
R. Jackson, D. Rumynin, O. Zaboronski
MM
1995
ACM
100views Multimedia» more  MM 1995»
13 years 11 months ago
Fast Lossy Internet Image Transmission
Images are usually transmitted across the Internet using a lossless protocol such as TCP/IP. Lossless protocols require retransmission of lost packets, which substantially increas...
John M. Danskin, Geoffrey M. Davis, Xiyong Song