7092 search results - page 1138 / 1419 » Parallelizing constraint programs |
175
click to vote
IPCCC
2007
IEEE
16 years 29 days ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
165
click to vote
ISCA
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
179
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
— A method is presented to synthesize wideband linear-phase FIR filters with a piecewise-polynomial-sinusoidal impulse response. The proposed method is based on merging the earl...
176
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
172
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...