8413 search results - page 1333 / 1683 » Ordering Problem Subgoals |
167
Voted
ALP
1992
Springer
15 years 9 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
131
Voted
ISSTA
1993
ACM
15 years 9 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
146
click to vote
PPOPP
1993
ACM
15 years 9 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
140
click to vote
ICCAD
1992
IEEE
15 years 9 months ago
1992
IEEE
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
152
click to vote
STOC
1994
ACM
15 years 9 months ago
1994
ACM
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...