5639 search results - page 589 / 1128 » Timed Abstract Non-interference |
138
click to vote
SAS
2000
Springer
15 years 10 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...
155
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Since ancient times, people have devised cognitive artifacts to extend memory and ease information processing. Among them are graphics, which use elements and the spatial relations...
157
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract We observe that the switching activity at a circuit node, also called the transition density, can be extremely sensitive to the circuit internal delays. As a result, sligh...
165
click to vote
FPLE
1995
15 years 10 months ago
1995
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
295
click to vote
ICDT
1995
ACM
15 years 10 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...