3235 search results - page 550 / 647 » Partial Redundant Modeling |
116
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...
165
Voted
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...
100
Voted
CHI
1996
ACM
15 years 5 months ago
1996
ACM
: This paper describes techniques for maximizing the efficient use of small screen space by combining delayed response with semi-transparency of control objects ("widgets"...
89
Voted
FOCS
1993
IEEE
15 years 5 months ago
1993
IEEE
Let M be a fixed finite monoid. We consider the problem of implementing a data type containing a vector x ϭ ( x1, x2, . . . , xn) ʦ Mn , initially (1, 1, . . . , 1), with two kin...
120
click to vote
EUROSYS
2007
ACM
15 years 5 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...