Sciweavers

500 search results - page 42 / 100
» Streaming tree automata
Sort
View
ICMCS
2005
IEEE
77views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Techniques of reconstructing overlay multicast trees for multimedia streaming
Overlay multicast is an efficient and deployable approach for delivering multimedia content to a large number of receivers. A key problem in overlay multicast is how to deal with...
Mengkun Yang, Zongming Fei
NETWORKING
2007
13 years 9 months ago
Streaming Performance in Multiple-Tree-Based Overlays
Abstract. In this paper we evaluate the data transmission performance of a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipa...
György Dán, Viktória Fodor, Ili...
SIGCSE
1997
ACM
158views Education» more  SIGCSE 1997»
13 years 12 months ago
A collection of tools for making automata theory and formal languages come alive
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider...
RTA
2007
Springer
14 years 1 months ago
Proving Termination of Rewrite Systems Using Bounds
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
Martin Korp, Aart Middeldorp
TCS
2002
13 years 7 months ago
Monadic second-order logic on tree-like structures
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
Igor Walukiewicz