11716 search results - page 244 / 2344 » Computable symbolic dynamics |
186
click to vote
MOBIQUITOUS
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a new feedback control scheme for resource allocation in wireless ad hoc environment. The congestion measure on a wireless link is symbolized as a virtual price, which ...
164
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
217
click to vote
TEX
2004
Springer
15 years 12 months ago
2004
Springer
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
175
Voted
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
170
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...