2465 search results - page 346 / 493 » Automata on Linear Orderings |
169
click to vote
TON
2002
15 years 6 months ago
2002
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
165
click to vote
ITIIS
2010
15 years 4 months ago
2010
In this paper, we propose a cooperative multi-relay scheme for a secondary system to achieve spectrum access along with a primary system. In the primary network, a primary transmi...
164
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
175
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
227
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Osteoporosis is a bone disease characterized by a reduction in bone mass, resulting in an increased risk of fractures. To diagnose the osteoporosis accurately, bone mineral densit...