Searching for "The development of CASC." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
The development of casc
- …The Development of CASC Jeff Pelletier, Geoff Sutcliffe and Christian Suttner Dep’t of Computing…
- Cited by 3 (0 self) – Add To MetaCart
-
EUROPEAN COMMISSION STATISTICAL OFFICE OF THE EUROPEAN COMMUNITIES (EUROSTAT)
- … framework CASC project has made a major step forward in the development of practical tools for SDC. The main…
- Add To MetaCart
-
Design and results of the 1st satisfiability modulo theories competition (SMT-COMP
- …TreeLimitedRun, developed for the CASC competition, was used to monitor the execution of each solver. It watches the CPU…
- Cited by 9 (8 self) – Add To MetaCart
-
Summary Report, Risk Assessment Modeling Workshop
- … to setup the grid structure for the CASC2D model. A previously developed CASC2D model application…
- Add To MetaCart
-
Design and Results of the 2nd Annual Satisfiability Modulo Theories competition
- … by a program calledTreeLimitedRun. This program, developed for the CASC competition [10], watches…
- Cited by 1 (1 self) – Add To MetaCart
-
Numerical Study of the Performance of Preconditioners Based on Algebraic Multigrid Method and Approximate Sparse Inverses
- …AMG preconditioners that are part of the HYPRE (High Performance Preconditioners) library developed in CASC…
- Add To MetaCart
Showing 1 through 6.
