84
Voted
LCPC
1997
Springer
15 years 5 months ago
1997
Springer
117
Voted
LCPC
1997
Springer
15 years 5 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
71
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
93
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
Suppose we translate two different source languages,
97
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
101
click to vote
TIC
1998
Springer
15 years 5 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
103
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
127
Voted
LCTRTS
1998
Springer
15 years 5 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
115
Voted
LCTRTS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
110
Voted
LCTRTS
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...