2171 search results - page 264 / 435 » A Generic Process Algebra |
207
click to vote
LSSC
2007
Springer
16 years 15 days ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
141
click to vote
MKM
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
179
click to vote
DDECS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
154
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...
137
click to vote
MSR
2006
ACM
16 years 10 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...