35 search results - page 1 / 7 » acsc 2004 |
73
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
76
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
76
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
101
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
137
Voted
ACSC
2004
IEEE
15 years 6 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...