Sciweavers

5183 search results - page 373 / 1037
» The Complexity of Distributions
Sort
View
ICPADS
2007
IEEE
16 years 1 months ago
Parallel Minimum Spanning Tree Heuristic for the steiner problem in graphs
Given an undirected graph with weights associated with its edges, the Steiner tree problem consists of finding a minimum weight subtree spanning a given subset of (terminal) nodes...
Hoda Akbari, Zeinab Iranmanesh, Mohammad Ghodsi
CONCUR
2007
Springer
16 years 28 days ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
ECAL
2007
Springer
16 years 28 days ago
Information-Cloning of Scale-Free Networks
In this paper1 , we introduce a method, Assortative Preferential Attachment, to grow a scale-free network with a given assortativeness value. Utilizing this method, we investigate ...
Piraveenan Mahendra, Mikhail Prokopenko, Albert Y....
C5
2006
IEEE
16 years 24 days ago
3D Global Virtual Teaming Environment
Based on research conducted at a large multinational corporation, we identified several unique requirements for global team collaboration. Our findings included that two-thirds of...
Cindy Pickering, John David Miller, Eleanor Wynn, ...
EDOC
2006
IEEE
16 years 24 days ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...