MULTI
发表于 2025-3-28 15:36:06
Exploiting SML for experimenting with algebraic algorithms: The example of ,-adic lifting,special application of the .-adic lifting technique, the Hensel algorithm, that is utilized in a symbolic but also numeric context. This experiment demonstrates that SML provides a suitable frame for the implementation of abstract algebraic notions together with the possibility to code related algor
Homocystinuria
发表于 2025-3-28 21:38:34
Conditional categories and domains,ies and Domains may contain conditionals in their bodies, which are elaborated by our compiler by techniques used in standard typing. We define an appropriate calculus and discuss its properties. Examples inspired by the Axiom library illustrate the power of our approach and its application in const
Gastric
发表于 2025-3-28 23:20:30
Parameterizing object specifications,o describe the part of the world to be modeled as an object community of concurrently existing and communicating objects. Our proposal for parameter passing works well on the syntactical level by means of a pushout construction. On the semantic level we use free constructions and corresponding forge
asthma
发表于 2025-3-29 06:01:25
Analyzing the dynamics of a Z specification,hemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are defined on such a formal operational semantics in order to allow the specification and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.
analogous
发表于 2025-3-29 08:39:05
http://reply.papertrans.cn/27/2686/268573/268573_45.png
Glucose
发表于 2025-3-29 15:21:46
Integer and rational arithmetic on masPar, one obtains linear speed-up (up to 29 times), using a serial-parallel scheme. A two-dimensional algorithm for multiplication of polynomials gives half-linear speed-up (up to 383 times). We also implement multiprecision rational arithmetic using known systolic algorithms for addition and multiplicat
intrude
发表于 2025-3-29 16:37:51
http://reply.papertrans.cn/27/2686/268573/268573_47.png
genuine
发表于 2025-3-29 21:30:09
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor,ept integrates distributed search parallelism on the network, based on a master-slave approach, with the parallel execution of each search on a multiprocessor. Both levels of parallelism are realized by a uniform fork /join paradigm using multi-threading. In many of our examples we are able to combi
Regurgitation
发表于 2025-3-30 03:16:08
http://reply.papertrans.cn/27/2686/268573/268573_49.png
myriad
发表于 2025-3-30 08:00:55
Document-centered presentation of computing software: Compound documents are better workspaces,ematical software into components, and the direct manipulation of workspaces is an improvement over name bindings. Further, document parts can act as placeholders for upcoming results. Viewing document parts within a textual context allows scripting within documents.