157 search results - page 26 / 32 » Formal Methods for Dynamic Power Management |
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
CF
2006
ACM
13 years 11 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
BMCBI
2007
13 years 7 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...