1999 search results - page 260 / 400 » Finding Reductions Automatically |
109
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
With the increasing use of large image and video archives and high-resolution multimedia data streams in many of today’s research and application areas, there is a growing need f...
162
click to vote
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
120
click to vote
ISVC
2009
Springer
15 years 8 months ago
2009
Springer
Image segmentation techniques are predominately based on parameter-laden optimization processes. The segmentation objective function traditionally involves parameters (i.e. weights...
133
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Leakage power is a serious concern in nanometer CMOS technologies. In this paper we focus on leakage reduction through automatic insertion of sleep transistors for power gating in...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...