Sciweavers

1547 search results - page 112 / 310
» The Isabelle Collections Framework
Sort
View
HPDC
2010
IEEE
13 years 11 months ago
LogGOPSim: simulating large-scale applications in the LogGOPS model
We introduce LogGOPSim--a fast simulation framework for parallel algorithms at large-scale. LogGOPSim utilizes a slightly extended version of the well-known LogGPS model in combin...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
HPDC
2010
IEEE
13 years 11 months ago
ParaText: scalable text modeling and analysis
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
Daniel M. Dunlavy, Timothy M. Shead, Eric T. Stant...
JWSR
2008
147views more  JWSR 2008»
13 years 10 months ago
Karma2: Provenance Management for Data-Driven Workflows
: The increasing ability for the sciences to sense the world around us is resulting in a growing need for data driven applications that are under the control of workflows composed ...
Yogesh L. Simmhan, Beth Plale, Dennis Gannon
GROUP
2009
ACM
13 years 8 months ago
Social performances: understanding the motivations for online participatory behavior
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...
Jude Yew
ICUMT
2009
13 years 7 months ago
A Bayesian analysis of Compressive Sensing data recovery in Wireless Sensor Networks
Abstract--In this paper we address the task of accurately reconstructing a distributed signal through the collection of a small number of samples at a data gathering point using Co...
Riccardo Masiero, Giorgio Quer, Michele Rossi, Mic...