12115 search results - page 317 / 2423 » Bisimulation of Dynamical Systems |
184
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
181
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
149
click to vote
FUIN
2006
15 years 6 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
155
click to vote
SIAMCO
2002
15 years 6 months ago
2002
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2
177
click to vote
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...