112
Voted
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
129
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes the comparison between homeless and home-based Lazy Release Consistency (LRC) protocols which are used to implement Distributed Shared Memory (DSM) in cluster...
151
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
157
click to vote
ACSC
2004
IEEE
15 years 8 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...