Sciweavers

15155 search results - page 344 / 3031
» System Software
Sort
View
LCPC
2001
Springer
15 years 11 months ago
STAPL: An Adaptive, Generic Parallel C++ Library
Ping An, Alin Jula, Silvius Rus, Steven Saunders, ...
TIC
1998
Springer
15 years 11 months ago
Type-Directed Continuation Allocation
Suppose we translate two different source languages,
Zhong Shao, Valery Trifonov
CC
2010
Springer
108views System Software» more  CC 2010»
15 years 6 months ago
Communication Complexity Under Product and Nonproduct Distributions
We solve an open problem in communication complexity posed by Kushilevitz and Nisan (1997). Let R (f) and D
Alexander A. Sherstov
CC
2006
Springer
101views System Software» more  CC 2006»
15 years 6 months ago
Inductive Time-Space Lower Bounds for Sat and Related Problems
We improve upon indirect diagonalization arguments for lower bounds on explicit problems within the polynomial hierarchy. Our contributions are summarized as follows.
Ryan Williams
CC
2005
Springer
103views System Software» more  CC 2005»
15 years 6 months ago
Valiant's model and the cost of computing integers
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
Pascal Koiran