Sciweavers

4781 search results - page 247 / 957
» Complexity at large
Sort
View
139
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 3 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
143
Voted
JSA
2006
88views more  JSA 2006»
15 years 3 months ago
Scheduling tasks sharing files on heterogeneous master-slave platforms
This paper is devoted to scheduling a large collection of independent tasks onto heterogeneous clusters. The tasks depend upon (input) files which initially reside on a master pro...
Arnaud Giersch, Yves Robert, Frédéri...
119
Voted
CN
2004
115views more  CN 2004»
15 years 3 months ago
Bandwidth provisioning and pricing for networks with multiple classes of service
Network service providers purchase large point-to-point connections from network owners, then offer individual users network access at a price. Appropriately provisioning (purchas...
Errin W. Fulp, Douglas S. Reeves
141
Voted
PC
2002
158views Management» more  PC 2002»
15 years 3 months ago
On parallel block algorithms for exact triangularizations
We present a new parallel algorithm to compute an exact triangularization of large square or rectangular and dense or sparse matrices in any field. Using fast matrix multiplicatio...
Jean-Guillaume Dumas, Jean-Louis Roch
126
Voted
ICPADS
2007
IEEE
15 years 10 months ago
Federated clusters using the transparent remote Execution (TREx) environment
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
Richert Wang, Enrique Cauich, Isaac D. Scherson