1855 search results - page 9 / 371 » A coding theorem for distributed computation |
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
125
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
