109
Voted
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
151
Voted
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
151
Voted
ISSS
1997
IEEE
15 years 8 months ago
1997
IEEE
Embedded processor-based systems allow for the tailoring of the on-chip memory architecture based on application-specific requirements. We present an analytical strategy for explo...
142
click to vote
ISSS
1997
IEEE
15 years 8 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
122
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a token-based K-mutual exchsion algorithm. The algorithm uses K tokens and a dynamic forest structure for each token. This structure is used to forward token r...