8190 search results - page 363 / 1638 » From Timed to Hybrid Systems |
193
click to vote
ICNP
2005
IEEE
16 years 13 days ago
2005
IEEE
While extensive efforts have been devoted to providing optimization based, distributed congestion control schemes for efficient bandwidth utilization and fair allocation in both ...
202
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
186
click to vote
ICCBR
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...
160
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
178
click to vote
TELSYS
2002
15 years 6 months ago
2002
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...