44 search results - page 1 / 9 » Scheduling with Environmental Constraints based on Automata ... |
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
ACL
1997
13 years 6 months ago
1997
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
AIIA
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core r...
SIGMETRICS
2004
ACM
13 years 10 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
IANDC
2007
13 years 4 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...