4764 search results - page 927 / 953 » Applications of Error-Control Coding |
POPL
2000
ACM
14 years 3 days ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
SC
2000
ACM
14 years 3 days ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
ECOOP
2000
Springer
14 years 2 days ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
HPDC
1999
IEEE
14 years 1 days ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
ICMCS
1999
IEEE
14 years 1 days ago
1999
IEEE
Video-on-demand (VOD) is a very promising multimedia application of the near future. In order for such a service to be commercially viable, efficient storage and retrieval schemes...