2853 search results - page 386 / 571 » On Coherence in Computer Algebra |
78
Voted
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
It is well-known that the discrete Fourier transform (DFT) of a finite length discrete-time signal samples the discrete-time Fourier transform of the same signal at equidistant p...
80
Voted
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
94
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
ISPDC
2007
IEEE
15 years 4 months ago
2007
IEEE
We present in this paper multi-thread and multi-process parallelizations of the Fast Multipole Method (FMM) for Laplace equation, for uniform and non uniform distributions. These ...
85
Voted
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...