2522 search results - page 230 / 505 » Tools for Heterogeneous Network Computing |
135
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
124
click to vote
GRID
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
128
Voted
IPOM
2005
Springer
15 years 9 months ago
2005
Springer
—Measurement and monitoring of network topologies are essential tasks in current network scenarios. Indeed, due to their utility in planning, management, security, and reliabilit...
155
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...