7430 search results - page 1287 / 1486 » Programming Applications in CIFF |
188
click to vote
FOSSACS
2007
Springer
16 years 19 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
163
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor...
155
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
158
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....
154
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...