2000 search results - page 333 / 400 » Program Transformation and Proof Transformation |
197
Voted
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
119
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
Multi-touch interfaces allow users to translate, rotate, and scale digital objects in a single interaction. However, this freedom represents a problem when users intend to perform...
203
Voted
COR
2011
14 years 10 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
97
Voted
TCAD
2010
14 years 10 months ago
2010
Crosstalk faults have emerged as a significant mechanism for circuit failure. Long signal nets are of particular concern because they tend to have a higher coupling capacitance to...
223
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static con...