Sciweavers

4463 search results - page 28 / 893
» computing 2000
Sort
View
65
Voted
IFIP
2000
Springer
15 years 2 months ago
An Architecture for Reliable Distributed Computer-Controlled Systems
Luís Miguel Pinho, Francisco Vasques
ISSAC
2000
Springer
103views Mathematics» more  ISSAC 2000»
15 years 2 months ago
Computing the Galois group of a polynomial using linear differential equations
Olivier Cormier, Michael F. Singer, Felix Ulmer
SAIG
2000
Springer
15 years 2 months ago
Reasoning about Staged Computation
Frank Pfenning