10585 search results - page 441 / 2117 » The Orc Programming Language |
191
click to vote
LISP
2000
15 years 7 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
177
Voted
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
219
click to vote
APLAS
2010
ACM
15 years 4 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
199
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
We introduce and give formal definitions of attack
175
click to vote
AGP
2003
IEEE
16 years 27 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...