TCS 1998 | Sciweavers

30

TCS
1998

115views Theoretical Computer Science» more TCS 1998»

Conflict-Free Channel Set Assignment for an Optical Cluster Interconnection Network Based on Rotator Digraphs

13 years 10 months ago

Recently a class of scalable multi-star optical networks is proposed in [2]. In this class of networks nodes are grouped into clusters. Each cluster employs a separate pair of bro...

Peng-Jun Wan

claim paper

Read More »

25

click to vote

TCS
1998

106views Theoretical Computer Science» more TCS 1998»

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

13 years 10 months ago

Download www.lfcs.inf.ed.ac.uk

We prove that bisimulation equivalence is decidable for normed pushdown processes.

Colin Stirling

claim paper

Read More »

32

click to vote

TCS
1998

100views Theoretical Computer Science» more TCS 1998»

Parsing Schemata and Correctness of Parsing Algorithms

13 years 10 months ago

Download wwwhome.cs.utwente.nl

Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...

Klaas Sikkel

claim paper

Read More »

42

click to vote

TCS
1998

91views Theoretical Computer Science» more TCS 1998»

Foundations of Aggregation Constraints

13 years 10 months ago

Download www.cse.iitb.ac.in

We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...

Kenneth A. Ross, Divesh Srivastava, Peter J. Stuck...

claim paper

Read More »

32

click to vote

TCS
1998

83views Theoretical Computer Science» more TCS 1998»

A Hierarchy Based on Output Multiplicity

13 years 10 months ago

Download www.cse.buffalo.edu

Ashish V. Naik, John D. Rogers, James S. Royer, Al...

claim paper

Read More »

30

click to vote

TCS
1998

100views Theoretical Computer Science» more TCS 1998»

Dynamical Recognizers: Real-Time Language Recognition by Analog Computers

13 years 10 months ago

Download www.santafe.edu

We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...

Cristopher Moore

claim paper

Read More »

31

click to vote

TCS
1998

78views Theoretical Computer Science» more TCS 1998»

TWDM Multichannel Lightwave Hypercube Networks

13 years 10 months ago

Download www.cs.iit.edu

The hypercube is a widely used interconnection topology as it presents a lot of attractive properties. Recently, the hypercube has been proposed as a virtual topology for TWDM mul...

Peng-Jun Wan

claim paper

Read More »

32

click to vote

TCS
1998

122views Theoretical Computer Science» more TCS 1998»

Contributions of Ronald V. Book to the Theory of String-Rewriting Systems

13 years 10 months ago

Download www.cs.rpi.edu

Robert McNaughton

claim paper

Read More »

31

click to vote

TCS
1998

108views Theoretical Computer Science» more TCS 1998»

Bubbles in Modularity

13 years 10 months ago

Download www.w3.org

We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...

Massimo Marchiori

claim paper

Read More »

20

click to vote

TCS
1998

76views Theoretical Computer Science» more TCS 1998»

k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion

13 years 10 months ago

Download hal.archives-ouvertes.fr

Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers