11436 search results - page 317 / 2288 » Modeling Real Reasoning |
109
click to vote
VLDB
1989
ACM
15 years 8 months ago
1989
ACM
Managingtransactionswith real-timerequirements and disk residentdata presentsmany new problems.In thispaperweaddressseveral:How canwe scheduletransactionswith deadlines?How do the...
140
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
143
click to vote
SI3D
1995
ACM
15 years 7 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
172
Voted
ISCAPDCS
2008
15 years 5 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...