514 search results - page 32 / 103 » Foundations of Aggregation Constraints |
152
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
122
Voted
CCR
2004
15 years 3 months ago
2004
Today's networking community is becoming increasingly skeptical of the significance of research results founded wholly upon experimental results conducted in simulation. Now, ...
147
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
142
Voted
GIS
2007
ACM
15 years 7 months ago
2007
ACM
A frequent query in geospatial planning and decision making domains (e.g., emergency response, data acquisition, street cleaning), is to find an optimal traversal plan (OTP) that ...
158
Voted
ISLPED
2007
ACM
15 years 5 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...