Sciweavers

5326 search results - page 352 / 1066
» On what we can ensure
Sort
View
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 10 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
ACMACE
2007
ACM
15 years 10 months ago
Evaluating children's gaming experiences
We present a game for children, developed to inform children about global warming. The main focus is the evaluation of children's user experience with easy to use methods. We...
Regina Bernhaupt, Daniel Schwaiger, Stefan Riegler...
CCGRID
2006
IEEE
15 years 10 months ago
Evaluating Provenance-based Trust for Scientific Workflows
Provenance is the documentation concerning the origin of a result generated by a process, and provides explanations about who, how, what resources were used in a process, and the ...
Shrija Rajbhandari, Ian Wootten, Ali Shaikh Ali, O...
CAE
2007
15 years 9 months ago
Flattening the Viewable Sphere
The viewable sphere corresponds to the space that surrounds us. The evolution of photography and panoramic software and hardware has made it possible for anybody to capture the vi...
Daniel M. Germán, Lloyd Burchill, Alexandre...
WSC
2008
15 years 9 months ago
A multi threaded and resolution approach to simulated futures evaluation
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
David R. Pratt, Robert W. Franceschini, Robert B. ...