4305 search results - page 595 / 861 » Analysing Protocol Implementations |
128
click to vote
ICDCS
1998
IEEE
15 years 9 months ago
1998
IEEE
Market mechanisms solve distributed scheduling problems by allocating the scheduled resources according to market prices. We model distributed scheduling as a discrete resource al...
137
click to vote
ISSS
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...
134
click to vote
PDP
1997
IEEE
15 years 9 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...
159
click to vote
RTSS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
145
click to vote
GROUP
1997
ACM
15 years 9 months ago
1997
ACM
Video protocol analysis is a standard technique in many research disciplines including human-computerinteraction and computer supported cooperative work. It is notoriously time co...