13306 search results - page 334 / 2662 » Theoretical Computer Science |
169
click to vote
GI
2004
Springer
16 years 22 days ago
2004
Springer
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...
226
click to vote
GI
2004
Springer
16 years 22 days ago
2004
Springer
: This paper presents a data-centric and location-aware procedure to perform in-network evaluation of queries in sensor networks. The algorithm is a hybrid of geographic hash table...
191
click to vote
RTA
2004
Springer
16 years 21 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
159
click to vote
STACS
2004
Springer
16 years 21 days ago
2004
Springer
We consider metrical task systems, a general framework to model online problems. Borodin, Linial and Saks [BLS92] presented a deterministic work function algorithm (WFA) for metric...
177
click to vote
FOCS
2003
IEEE
16 years 20 days ago
2003
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...