10585 search results - page 441 / 2117 » The Orc Programming Language |
175
click to vote
LISP
2000
15 years 6 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
154
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
193
click to vote
APLAS
2010
ACM
15 years 3 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
181
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce and give formal definitions of attack
160
click to vote
AGP
2003
IEEE
16 years 5 days ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...