11973 search results - page 2296 / 2395 » Methods for organizational development |
169
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
143
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
180
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
160
click to vote
ESA
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
153
click to vote
ISMIR
2000
Springer
15 years 9 months ago
2000
Springer
One major task of a digital music library (DML) is to provide techniques to locate a queried musical pattern in all pieces of music in the database containing that pattern. For a ...