4285 search results - page 142 / 857 » Differential Behavioral Analysis |
147
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
156
click to vote
SIAMCO
2002
15 years 5 months ago
2002
This paper deals with linear shift-invariant distributed systems. By this we mean systems described by constant coefficient linear partial differential equations. We define dissipa...
179
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Bandwidth allocation for different service classes in heterogeneous wireless networks is an important issue for service provider in terms of balancing service quality and profit. I...
148
click to vote
ICFEM
2009
Springer
16 years 1 days ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
160
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...