4666 search results - page 136 / 934 » Equations on Timed Languages |
124
click to vote
EOR
2008
15 years 5 months ago
2008
We solve an optimal growth model in continuous space, continuous and bounded time. The optimizer chooses the optimal trajectories of capital and consumption across space and time ...
156
click to vote
CONPAR
1994
15 years 9 months ago
1994
This paper considers the issue of dynamic task control in the context of a parallel Haskell implementation on the GRIP multiprocessor. For the rst time, we report the e ect of our ...
120
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
181
click to vote
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
157
click to vote
TAL
2010
Springer
15 years 3 days ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...