4507 search results - page 182 / 902 » Generalized Binet dynamics |
164
click to vote
PPDP
2007
Springer
16 years 4 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
150
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...
156
click to vote
ISLPED
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we propose an effective dynamic thermal management (DTM) scheme for MPEG-2 decoding by allowing some degree of spatiotemporal quality degradation. Given a target MP...
204
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
137
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...