7961 search results - page 1121 / 1593 » Input-Output Model Programs |
155
click to vote
COCO
2005
Springer
16 years 1 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
189
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
195
click to vote
TCC
2005
Springer
15 years 12 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
182
click to vote
SC
2004
ACM
15 years 12 months ago
2004
ACM
To achieve maximum performance gains through compiler optimization, most automatic performance tuning systems use a feed-back directed approach to rate the code versions generated...
199
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...