6308 search results - page 46 / 1262 » Modeling Urgency in Timed Systems |
PATMOS
2007
Springer
15 years 3 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
CASES
2003
ACM
15 years 3 months ago
2003
ACM
IFM
1999
Springer
15 years 2 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...