Search Sciweavers | Sciweavers

1399 search results - page 25 / 280

» Multi-party Finite Computations

122

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 7 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

click to vote

ANCS
2007
ACM

131views Computer Networks» more ANCS 2007»

DPICO: a high speed deep packet inspection engine using compact finite automata

15 years 7 months ago

Download www.cse.wustl.edu

Christopher L. Hayes, Yan Luo

claim paper

Read More »

click to vote

PARA
2000
Springer

92views Applied Computing» more PARA 2000»

Partition of Unstructured Finite Element Meshes by a Multilevel Approach

15 years 7 months ago

Download heim.ifi.uio.no

Noureddine Bouhmala, Xing Cai

claim paper

Read More »

104

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 7 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

133

click to vote

ACS
2011

174views Distributed And Parallel Com...» more ACS 2011»

The Finite and the Infinite

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers