Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PARAM

Known as: PARAM 10000 
PARAM is a series of supercomputers designed and assembled by the Centre for Development of Advanced Computing (C-DAC) in Pune, India. The latest… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We present PARAM 1.0, a model checker for parametric discrete-time Markov chains (PMCs) PARAM can evaluate temporal properties of… Expand
  • figure 2
Highly Cited
2006
Highly Cited
2006
We introduce a family of goodness-of-fit statistics for testing composite null hypotheses in multidimensional contingency tables… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Highly Cited
2006
Highly Cited
2006
The applicability of two vulnerability assessment methods in evaluating the impact of agricultural activities on groundwater… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
2003
Highly Cited
2003
The results of a comprehensive experimental program, aimed at providing a fundamental understanding of the behavior of shear… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Highly Cited
1998
Highly Cited
1998
This article investigates the use of standard econometric models for quantal choice to study equilibria of extensive form games… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Highly Cited
1998
Highly Cited
1998
Abstract The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework… Expand
Highly Cited
1995
Highly Cited
1995
Abstract This paper proposes a robust approach to image matching by exploiting the only available geometric constraint, namely… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
Through two different approaches, this report proposes two general controllers for unicycle-type and two-steering-wheels mobile… Expand
Highly Cited
1991
Highly Cited
1991
It is well known that for many NP-complete problems, such as K-Sat, etc., typical cases are easy to solve; so that… Expand
  • figure 3
Highly Cited
1985
Highly Cited
1985
Goethites were synthesized from ferrihydrite in 0.7 M KOH between 4° and 90°C. As temperatures increased, the goethite crystals… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5