Prostaglandins 发表于 2025-3-26 21:35:27
Conference proceedings 1997 Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 rev桉树 发表于 2025-3-27 04:48:54
Computer chess: Algorithms and heuristics for a deep look into the future, an overview about the sequential algorithms used. In the second part we will describe the parallelization that has been developed by us. The resulting parallel search algorithm has been used successfully in the chess program . even on massively parallel hardware. In 1992 . became Vize World Champio多嘴多舌 发表于 2025-3-27 06:27:05
http://reply.papertrans.cn/87/8603/860234/860234_33.png开始没有 发表于 2025-3-27 11:48:31
On the distributed realization of parallel algorithms,tions of parallel and distributed computing are represented by their interrelation. The possibility of distributed simulations of parallel models is discussed. Finally, the complexity theoretical consequences will be addressed.处理 发表于 2025-3-27 14:32:18
http://reply.papertrans.cn/87/8603/860234/860234_35.pngnonchalance 发表于 2025-3-27 18:59:51
A foundation for computable analysis,ped. Several mutually non-equivalent theories have been proposed for it, none of which, however, has been accepted by the majority of mathematicians or computer scientists. In this contribution one of these theories, TTE (Type 2 Theorie of Effectivity), is presented, which at least in the author‘s omedieval 发表于 2025-3-27 22:21:01
http://reply.papertrans.cn/87/8603/860234/860234_37.png圆锥体 发表于 2025-3-28 06:10:55
Path layout in ATM networks,blems. We present a model for theoretical studies of these layouts, which amounts to covering the network with simple paths, under various constraints. The constraints are the hop count (the number of paths traversed between the vertices that have to communicate), the load (the number of paths that招惹 发表于 2025-3-28 10:20:19
Theory and practice in interactionally rich distributed systems,empts to show something of the breadth of recent research and practice, with a somewhat unintentional leaning towards the domain of scientific visualization in a broad sense. Theoretical work which may lay the foundations for a systematic understanding of interactionally rich systems is also discussInordinate 发表于 2025-3-28 13:29:52
Configuration-based programming systems, correct distributed applications. Briefly stated, configuration-based programming consists of describing an application using a configuration that defines interconnections between software components through connectors characterizing communication protocols. Existing work in the field of formal spe