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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1961-2016
0102019612016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We study parametric Markov decision processes (PMDPs) and their reachability probabilities ”independent” of the parameters… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2014
2014
This paper discusses an efficient implementation of finite difference method (FDM) and finite element method (FEM) computations… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present PARAM, a model checker for parametric discretetime Markov chains (PMCs). PARAMcan evaluate temporal properties of PMCs… (More)
  • figure 2
Is this relevant?
2008
2008
  • David Tilbrooh Russell
  • 2008
The advent of open systems and standards, while beneficial, has not eliminated the diffi-culty of maintaining and transporting… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Local Likelihood Density Estimation, and Value at Risk. In this paper we t locally a parametric model to observations lying in a… (More)
  • figure 1
Is this relevant?
1999
1999
Panoramic image technology provides new facilities for the presentation of cultural heritage recordings. Image based visual… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1996
1996
A software is developed using genetic algorithms t o predict the structure of a polypeptide chain. The algorithm is based on the… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper proposes a robust approach to image matching by exploiting the only available geometric constraint, namely, the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1990
1990
  • Ken Gray
  • Australasian J. Combinatorics
  • 1990
A set of blocks which can be a subset of only one t-( v, k, At) design has been termed a defining set of that design. In an… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
When analysing computer programs (especially numerical programs in which arrays are used extensively), one is often confronted… (More)
Is this relevant?