Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1399
search results - page 25 / 280
»
Multi-party Finite Computations
Sort
relevance
views
votes
recent
update
View
thumb
title
28
click to vote
ICNP
1996
IEEE
83
views
Computer Networks
»
more
ICNP 1996
»
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines
14 years 2 months ago
Download
www.ieee-icnp.org
Hong Liu, Raymond E. Miller
claim paper
Read More »
24
click to vote
ANCS
2007
ACM
131
views
Computer Networks
»
more
ANCS 2007
»
DPICO: a high speed deep packet inspection engine using compact finite automata
14 years 1 months ago
Download
www.cse.wustl.edu
Christopher L. Hayes, Yan Luo
claim paper
Read More »
23
click to vote
PARA
2000
Springer
92
views
Applied Computing
»
more
PARA 2000
»
Partition of Unstructured Finite Element Meshes by a Multilevel Approach
14 years 1 months ago
Download
heim.ifi.uio.no
Noureddine Bouhmala, Xing Cai
claim paper
Read More »
27
click to vote
SPIN
2000
Springer
103
views
Theoretical Computer Science
»
more
SPIN 2000
»
Interaction Abstraction for Compositional Finite State Systems
14 years 1 months ago
Download
spinroot.com
Wayne Liu
claim paper
Read More »
29
click to vote
ACS
2011
174
views
Distributed And Parallel Com...
»
more
ACS 2011
»
The Finite and the Infinite
13 years 4 months ago
Download
frege.brown.edu
Horst Herrlich
claim paper
Read More »
« Prev
« First
page 25 / 280
Last »
Next »