7557 search results - page 436 / 1512 » Modeling Timed Concurrent Systems |
216
click to vote
ANSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
158
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
Speech recognition is a computationally demanding task, particularly the stage which uses Viterbi decoding for converting pre-processed speech data into words or sub-word units. W...
170
click to vote
ICN
2005
Springer
16 years 10 days ago
2005
Springer
This paper introduces a dynamic bandwidth allocation algorithm in a video streaming multicast system. The approach is to introduce the vibration of received video quality into the ...
168
click to vote
MIDDLEWARE
2005
Springer
16 years 9 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
146
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...