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