3838 search results - page 126 / 768 » Techniques for Optimization of Net Algorithms |
114
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
145
Voted
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
150
Voted
STOC
2010
ACM
15 years 8 months ago
2010
ACM
There has been much progress on geometric set cover problems, but most known techniques only apply to the unweighted setting. For the weighted setting, very few results are known ...
93
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Clipping is a necessary signal processing operation in many realtime audio applications, yet it often reduces the sound quality of the signal. The recently proposed perception-bas...
140
Voted
ISLPED
1997
ACM
15 years 7 months ago
1997
ACM
The energy consumption of a system depends upon the hardware and software component of a system. Since it is the software which drives the hardware in most systems, decisions take...