11374 search results - page 129 / 2275 » A System Demonstration of ST-TCP |
175
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we present collaborative scientific visualization in STUDIERSTUBE. STUDIERSTUBE is an augmented reality system that has several advantages over conventional desktop ...
201
click to vote
COMPASS
1994
15 years 10 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
162
click to vote
ICPP
1990
IEEE
15 years 10 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
148
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
142
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...