6014 search results - page 2 / 1203 » Parametric Analysis of Computer Systems |
SIAMSC
2008
13 years 4 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
SIGGRAPH
1992
ACM
13 years 9 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
TLCA
1993
Springer
13 years 9 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
FAC
2007
13 years 4 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...