10622 search results - page 433 / 2125 » Python Programming Language |
134
click to vote
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
176
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
165
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce and give formal definitions of attack
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
167
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...