315 search results - page 46 / 63 » Hardware software partitioning of software binaries |
PAIRING
2007
Springer
14 years 1 months ago
2007
Springer
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Adopting multiple processing units to enhance the computing capability or reduce the power consumption has been widely accepted for designing modern computing systems. Such confi...
PLDI
2000
ACM
13 years 12 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...