397 search results - page 76 / 80 » Lifting of divisible designs |
ICMCS
2000
IEEE
14 years 9 days ago
2000
IEEE
A delay of about 100 ms gives human communicators the feeling of live interaction. Since in a global network the propagation delay alone is about 100 ms, every other delay compone...
SIGUCCS
2000
ACM
14 years 8 days ago
2000
ACM
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
CAV
1998
Springer
14 years 4 days ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract--Cognitive radio (CR) technology is an innovative radio design philosophy which aims to increase spectrum utilization by exploiting unused spectrum in dynamically changing...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
In application server systems, such as J2EE, replication is an essential strategy for reliability and efficiency. Many J2EE implementations, both commercial and open-source, provid...