3676 search results - page 386 / 736 » Scalable component abstractions |
190
click to vote
PLDI
2010
ACM
16 years 20 days ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
181
click to vote
EUROCRYPT
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
191
click to vote
DATE
1999
IEEE
15 years 12 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
240
click to vote
CRYPTO
2007
Springer
15 years 11 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
228
click to vote
MAGS
2006
15 years 7 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...