Searching for "The development of CASC." – sorted by Relevance.
-
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

