Sciweavers

8903 search results - page 210 / 1781
» Alternative
Sort
View
ICPP
2003
IEEE
15 years 12 months ago
High Performance and Reliable NIC-Based Multicast over Myrinet/GM-2
Multicast is an important collective operation for parallel programs. Some Network Interface Cards (NICs), such as Myrinet, have programmable processors that can be programmed to ...
Weikuan Yu, Darius Buntinas, Dhabaleswar K. Panda
ISCAS
2003
IEEE
169views Hardware» more  ISCAS 2003»
15 years 12 months ago
Efficient implementation of complex exponentially-modulated filter banks
In Exponentially-ModulatedFilter Bank (EMFB) the complex subfilters are generated from a real-valued prototype filter by multiplying the filter impulse response with complex expon...
Juuso Alhava, Ari Viholainen, Markku Renfors
IWPC
2003
IEEE
15 years 12 months ago
Comprehension of Software Analysis Data Using 3D Visualization
The paper presents a software visualization application-framework that utilizes a variety of 3D metaphors to represent large software system and related analysis data. The 3D repr...
Andrian Marcus, Louis Feng, Jonathan I. Maletic
ECSQARU
2003
Springer
15 years 11 months ago
Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...
Weiru Liu, Xin Hong, Kenneth Adamson
FM
2003
Springer
174views Formal Methods» more  FM 2003»
15 years 11 months ago
Model-Checking TRIO Specifications in SPIN
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
Angelo Morzenti, Matteo Pradella, Pierluigi San Pi...