35 search results - page 1 / 7 » acsc 2004 |
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...