596 search results - page 34 / 120 » Evolving Software Tools for New Distributed Computing Enviro... |
118
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
144
click to vote
WSCG
2004
15 years 6 months ago
2004
The paper specifies modular software for synchronous and asynchronous computer-mediated communication and visualization in network-distributed environments. It is new because the ...
137
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
187
click to vote
OSDI
2008
ACM
15 years 7 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
166
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...