407 search results - page 10 / 82 » Thermal-aware data flow analysis |
SCP
1998
14 years 9 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
SAS
2007
Springer
15 years 3 months ago
2007
Springer
