13306 search results - page 334 / 2662 » Theoretical Computer Science |
151
click to vote
GI
2004
Springer
16 years 3 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...
203
click to vote
GI
2004
Springer
16 years 3 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...
170
click to vote
RTA
2004
Springer
16 years 2 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...
149
click to vote
STACS
2004
Springer
16 years 1 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...
164
click to vote
FOCS
2003
IEEE
16 years 7 hour 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...