2286 search results - page 381 / 458 » Algorithms for Categorical Equivalence |
147
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
157
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
156
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
: While delay modeling of gates with a single switching input has received considerable attention, the case of multiple inputs switching in close temporal proximity is just beginni...
153
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
This paper examines the energy delay implications of partial product reduction methods employed in parallel multiplier implementations. Radix 4 Modified Booth Algorithm (MBA) is c...
169
click to vote
SPAA
1996
ACM
15 years 10 months ago
1996
ACM
A quantitative comparison of the BSP and LogP models of parallel computation is developed. We concentrate on a variant of LogP that disallows the so-called stalling behavior, alth...