28095 search results - page 5344 / 5619 » D |
170
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
199
click to vote
SAS
1995
Springer
15 years 10 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
154
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Artistic screening is a new image reproduction technique incorporatingfreelycreatedartisticscreenelementsforgeneratinghalftones. Fixed predefined dot contours associated with giv...
210
click to vote
SIGMETRICS
1995
ACM
15 years 10 months ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
183
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...