3042 search results - page 595 / 609 » Efficient Communication in a Design Environment |
106
click to vote
DFG
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
114
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
103
click to vote
CRYPTO
2010
Springer
15 years 16 days ago
2010
Springer
Following Gennaro, Gentry, and Parno (Cryptology ePrint Archive 2009/547), we use fully homomorphic encryption to design improved schemes for delegating computation. In such schem...
102
click to vote
EUROPAR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
111
click to vote
CCR
2010
14 years 11 months ago
2010
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...