9974 search results - page 1741 / 1995 » Software Interconnection Models |
112
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
181
click to vote
HOST
2011
IEEE
14 years 3 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
166
click to vote
ICDCN
2012
Springer
13 years 11 months ago
2012
Springer
Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional memory, on the other hand...
115
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
107
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Traditionally, building 3D reconstructions of large scenarios such as a museum or historical site has been costly, time consuming and required the contribution of expert personnel...