婚姻生活
发表于 2025-3-26 22:54:20
Conference proceedings 1997any, in February/March 1997..The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms an
无辜
发表于 2025-3-27 02:57:47
http://reply.papertrans.cn/87/8604/860344/860344_32.png
薄荷醇
发表于 2025-3-27 06:18:27
http://reply.papertrans.cn/87/8604/860344/860344_33.png
防水
发表于 2025-3-27 09:55:56
Temporal logics for the specification of performance and reliability,fined with respect to timed systems that exhibit both probabilistic and nondeterministic behavior. We present model-checking algorithms for the algorithmic verification of the specifications, and we discuss their complexity.
Petechiae
发表于 2025-3-27 17:08:33
http://reply.papertrans.cn/87/8604/860344/860344_35.png
红润
发表于 2025-3-27 18:19:22
http://reply.papertrans.cn/87/8604/860344/860344_36.png
opinionated
发表于 2025-3-27 23:26:19
Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial- this result establishes for the first time an at most polynomial gap between Las Vegas and determinism for a uniform computing model..On the other hand superlogarithmic many advice bits in nondeterministic computations can be more powerful than Las Vegas (even Monte Carlo) computations in a relativized word.
拥护
发表于 2025-3-28 05:54:46
Gossiping and broadcasting versus computing functions in networks,ng in the network graph. A similar relation exists between computing functions with the output appearing at only one processor and the complexity of broadcasting. Our methods can also be applied to extend known lower bounds for broadcasting a bit on EREW PRAMs to the much more general (randomized) distributed memory machines (DMMs).
地牢
发表于 2025-3-28 07:33:04
http://reply.papertrans.cn/87/8604/860344/860344_39.png
correspondent
发表于 2025-3-28 14:26:17
Fast online multiplication of real numbers, more digits of the input reals, an algorithm for a real function produces more and more precise approximations of the desired result. An algorithm . is called online, if for every . ∈ ℕ the input-precision, which . requires for producing the result with precision (1/2)., is approximately the same as the topologically necessary precision.