Sciweavers

5964 search results - page 92 / 1193
» A theory of speculative computation
Sort
View
ICALP
2003
Springer
15 years 9 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
ICCS
2003
Springer
15 years 9 months ago
Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
Michael V. Falaleev, Olga A. Romanova, Nicholas A....
MFCS
1990
Springer
15 years 8 months ago
One-Way Functions in Complexity Theory
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
Alan L. Selman
IFIP
1994
Springer
15 years 8 months ago
Program Speedups in Theory and Practice
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
Neil D. Jones