1677 search results - page 296 / 336 » On the Completeness of Quantum Computation Models |
139
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
141
Voted
BMCBI
2011
14 years 8 months ago
2011
Background: Methods of determining whether or not any particular HIV-1 sequence stems - completely or in part - from some unknown HIV-1 subtype are important for the design of vac...
125
click to vote
HPDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
117
click to vote
CRYPTO
2005
Springer
15 years 7 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
155
click to vote
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...