11112 search results - page 168 / 2223 » Computing Stuttering Simulations |
FOCS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
CISIS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
IJON
2007
13 years 9 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
IMSCCS
2007
IEEE
14 years 4 months ago
2007
IEEE
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...