Sciweavers

53390 search results - page 155 / 10678
» Computer Systems Analysis
Sort
View
161
Voted
COMMA
2010
15 years 2 days ago
A formal analysis of the AIF in terms of the ASPIC framework
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
Floris Bex, Henry Prakken, Chris Reed
ISPDC
2008
IEEE
15 years 11 months ago
Performance Analysis of Grid DAG Scheduling Algorithms using MONARC Simulation Tool
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
Florin Pop, Ciprian Dobre, Valentin Cristea
152
Voted
LCN
2002
IEEE
15 years 10 months ago
A Comparative Throughput Analysis of Scalable Coherent Interface and Myrinet
It has become increasingly popular to construct large parallel computers by connecting many inexpensive nodes built with commercial-off-the-shelf (COTS) parts. These clusters can ...
Sarp Millich, Alan D. George, Sarp Oral
BIRTHDAY
2006
Springer
15 years 8 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
ICPP
1999
IEEE
15 years 9 months ago
An Offline Algorithm for Dimension-Bound Analysis
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
Paul A. S. Ward
« Prev « First page 155 / 10678 Last » Next »