Search Sciweavers | Sciweavers

1399 search results - page 29 / 280

» Multi-party Finite Computations

112

click to vote

FOCS
1996
IEEE

87views Theoretical Computer Science» more FOCS 1996»

An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups

15 years 8 months ago

Download ece.iisc.ernet.in

Vijay V. Vazirani, Huzur Saran, B. Sundar Rajan

claim paper

Read More »

127

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 8 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

111

Voted

SC
1995
ACM

116views Applied Computing» more SC 1995»

Architecture-Adaptable Finite Element Modelling: A Case Study using an Ocean Circulation Simulation

15 years 7 months ago

Download www.chg.ru

Santhosh Kumaran, Robert N. Miller, Michael J. Qui...

claim paper

Read More »

121

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

15 years 5 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Mario Bravetti

claim paper

Read More »

109

click to vote

GC
2007
Springer

89views Applied Computing» more GC 2007»

Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers