4743 search results - page 449 / 949 » The PlusCal Algorithm Language |
125
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
145
Voted
ICSM
1994
IEEE
15 years 7 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
148
Voted
PLDI
1994
ACM
15 years 7 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
132
Voted
ICALP
1992
Springer
15 years 7 months ago
1992
Springer
Suppose that n tokens are arbitrarily placed on the n nodes of a graph. At each parallel step one token may be moved from each node to an adjacent node. An algorithm for the near-...
134
Voted
KR
1992
Springer
15 years 7 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...