LCPC
1997
Springer
14 years 1 months ago
1997
Springer
LCPC
1997
Springer
14 years 1 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...
TIC
1998
Springer
14 years 1 months ago
1998
Springer
TIC
1998
Springer
14 years 1 months ago
1998
Springer
Suppose we translate two different source languages,
TIC
1998
Springer
14 years 1 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...
TIC
1998
Springer
14 years 1 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...
TIC
1998
Springer
14 years 1 months ago
1998
Springer
LCTRTS
1998
Springer
14 years 1 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...
LCTRTS
1998
Springer
14 years 1 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...
LCTRTS
1998
Springer
14 years 1 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 ...