1548 search results - page 19 / 310 » Data sharing between ada and C C |
162
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
152
click to vote
IMC
2009
ACM
16 years 15 days ago
2009
ACM
Many enterprise, campus, and data-center networks have complex layer-2 virtual LANs (“VLANs”) below the IP layer. The interaction between layer-2 and IP topologies in these VL...
200
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
194
click to vote
NOCS
2008
IEEE
16 years 11 days ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
167
click to vote
SPW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we describe Turtle, a peer-to-peer architecture for safe sharing of sensitive data. The truly revolutionary aspect of Turtle rests in its novel way of dealing with t...