Sciweavers

87

MFCS
1989
Springer

46views Theoretical Computer Science» more MFCS 1989»

Switching Graphs and Their Complexity

15 years 8 months ago

Switching Graphs and Their Complexity

Download www.win.tue.nl

Christoph Meinel

claim paper

Read More »

81

SIGMOD
1987
ACM

61views Database» more SIGMOD 1987»

The EXODUS Optimizer Generator

15 years 8 months ago

The EXODUS Optimizer Generator

Download pages.cs.wisc.edu

Goetz Graefe, David J. DeWitt

claim paper

Read More »

35

IEAAIE
1990
Springer

45views Artificial Intelligence» more IEAAIE 1990»

Automated Message Understanding - A Real-World Prototype

15 years 8 months ago

Automated Message Understanding - A Real-World Prototype

Download rcdl.ru

Thomas Jenkins, Alain Gaillard, Heather Holmback, ...

claim paper

Read More »

120

SIGMETRICS
1987
ACM

102views Hardware» more SIGMETRICS 1987»

Delay Analysis of a Window Tree Conflict Resolution Algorithm in a Local Area Network Environment

15 years 8 months ago

Delay Analysis of a Window Tree Conflict Resolution Algorithm in a Local Area Network Environment

Download www.cs.ucr.edu

Expressions are found for the throughput and delay performance of a Tree Conflict Resolution Algorithm that is used in a Local Area Network with carrier sensing (and possibly also ...

George C. Polyzos, Mart Molle

claim paper

Read More »

137

LICS
1989
IEEE

125views Automated Reasoning» more LICS 1989»

Elf: A Language for Logic Definition and Verified Metaprogramming

15 years 8 months ago

Elf: A Language for Logic Definition and Verified Metaprogramming

Download www.cs.cmu.edu

We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...

Frank Pfenning

claim paper

Read More »