Sciweavers

2333 search results - page 272 / 467
» Recursive Computational Depth
Sort
View
ARTS
1999
Springer
15 years 6 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
CGI
1998
IEEE
15 years 6 months ago
Incremental Techniques for Implicit Surface Modeling
This paper describes an incremental polygonization technique for implicit surfaces built from skeletal elements. Our method lends itself for an interactive modeling system as the ...
Eric Galin, Samir Akkouche
ICPP
1998
IEEE
15 years 6 months ago
Fault-Tolerant Multicasting in Multistage Interconnection Networks
In this paper, we study fault-tolerantmulticastingin multistage interconnection networks (MINs) for constructing large-scale multicomputers. In addition to point-to-point routing ...
Jinsoo Kim, Jaehyung Park, Jung Wan Cho, Hyunsoo Y...
125
Voted
IPPS
1998
IEEE
15 years 6 months ago
Memory Space Representation for Heterogeneous Network Process Migration
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
Kasidit Chanchio, Xian-He Sun
114
Voted
IPPS
1998
IEEE
15 years 6 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa