2119 search results - page 119 / 424 » Structure-Preserving Model Reduction |
153
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
123
click to vote
FMSD
2008
15 years 3 months ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
110
click to vote
ENTCS
2006
15 years 3 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
117
click to vote
FAC
2007
15 years 3 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
106
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
In this work we implement a confidence estimation system based on a Naive Bayes classifier, by using the maximum entropy paradigm. The model takes information from various sourc...