217 search results - page 8 / 44 » acl 1998 |
ACL
1998
14 years 7 days ago
1998
ACL
1998
14 years 7 days ago
1998
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
FMCAD
1998
Springer
14 years 3 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
CAV
1998
Springer
14 years 3 months 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...