DocumentCode
2454990
Title
Proceedings Third Israel Symposium on the Theory of Computing and Systems
fYear
1995
fDate
4-6 Jan. 1995
Abstract
The following topics were dealt with: transaction systems; reconfiguration; routing; oracles; the OR function; game theory; queuing theory; shortest paths; geometric optimization; percentile elements; the electronic global village; data structures; dynamic counting; a snapshot algorithm; formal logic; automata; computational molecular biology; nearby points; theorem proving; total degree tests; statistical reasoning; randomness; prefix sums; job scheduling; parallel algorithms; approximate agreement; connection management protocols; and graph theory
Keywords
computation theory; automata; data structures; formal logic; oracles; parallel algorithms; queuing theory; randomness; routing; theorem proving;
fLanguage
English
Publisher
ieee
Conference_Titel
Theory of Computing and Systems, 1995. Proceedings., Third Israel Symposium on the
Conference_Location
Tel Aviv, Israel
Print_ISBN
0-8186-6915-2
Type
conf
DOI
10.1109/ISTCS.1995.377053
Filename
377053
Link To Document