596 search results - page 34 / 120 » Evolving Software Tools for New Distributed Computing Enviro... |
98
Voted
ENTCS
2002
15 years 3 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 ...
131
click to vote
WSCG
2004
15 years 4 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 ...
126
click to vote
IPPS
2007
IEEE
15 years 9 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...
164
click to vote
OSDI
2008
ACM
15 years 5 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...
147
click to vote
CLOUD
2010
ACM
15 years 8 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...