7103 search results - page 1038 / 1421 » Program Generation and Components |
161
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In the context of communication networks with no QoS guarantees, we describe the problem of streaming layer encoded multimedia presentation data as a two-phase decision problem. W...
139
click to vote
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
The performance of automatic memory management may be improved if the policies used in allocating and collecting objects had knowledge of the lifetimes of objects. To date, approa...
140
click to vote
ANSS
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper we present simulation algorithmsthat characterize the main sources of communication generated by parallel applications under both invalidate and updatebased cache co...
105
click to vote
SAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
162
click to vote
TYPES
1995
Springer
15 years 8 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...