296 search results - page 48 / 60 » Using SAT-based techniques in power estimation |
112
Voted
MOBISYS
2010
ACM
15 years 5 months ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
142
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...
126
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
157
Voted
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
119
Voted
IPMI
2003
Springer
16 years 3 months ago
2003
Springer
The Gaussian distribution is the basis for many methods used in the statistical analysis of shape. One such method is principal component analysis, which has proven to be a powerfu...