Sciweavers

598 search results - page 27 / 120
» Note on parallel universes
Sort
View
IJFCS
2010
92views more  IJFCS 2010»
14 years 7 months ago
Collapsing the Hierarchy of Parallel Computational Models
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
Stefan D. Bruda, Yuanqiao Zhang
TPHOL
1997
IEEE
15 years 1 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
LISA
2008
14 years 12 months ago
Rapid Parallel Systems Deployment: Techniques for Overnight Clustering
Automated system deployment frameworks and configuration management systems have been in wide use for a number of years. However, due to increasing pressures to maintain high avai...
Donna Cumberland, Randy Herban, Rick Irvine, Micha...
APPT
2009
Springer
14 years 7 months ago
The Recursive Dual-Net and Its Applications
Abstract. In this paper, we propose a universal network, called recursive dual-net (RDN). It can be used as a candidate of effective interconnection networks for massively parallel...
Yamin Li, Shietung Peng, Wanming Chu
82
Voted
IPPS
2005
IEEE
15 years 3 months ago
Reducing Power with Performance Constraints for Parallel Sparse Applications
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...
Guangyu Chen, Konrad Malkowski, Mahmut T. Kandemir...