9842 search results - page 635 / 1969 » Compositional timing analysis |
198
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
169
click to vote
SP
1990
IEEE
15 years 11 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
176
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
217
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
184
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We present a method for computing holographic patterns for the generation of three-dimensional (3-D) holographic images at interactive speeds. We used this method to render hologr...