6953 search results - page 1305 / 1391 » Development Tools for Distributed Applications |
145
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
102
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
100
click to vote
RPTEL
2006
15 years 2 months ago
2006
This paper takes one step towards addressing the question of how activity mediated by shared representations--notations that are manipulated by more than one person during a collab...
133
click to vote
MANSCI
2007
15 years 2 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
145
Voted
KBSE
2010
IEEE
15 years 24 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...