1163 search results - page 207 / 233 » Concurrent Subspaces Analysis |
144
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
132
Voted
POS
1998
Springer
15 years 7 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
172
Voted
ISSS
1996
IEEE
15 years 7 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
130
Voted
ICS
1993
Tsinghua U.
15 years 7 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
136
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...