536 search results - page 4 / 108 » A computer verified, monadic, functional implementation of t... |
ENTCS
2006
13 years 9 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
RSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
ICISC
2008
13 years 10 months ago
2008
Hardware implementations of cryptographic algorithms are still vulnerable to side-channel attacks. Side-channel attacks that are based on multiple measurements of the same operatio...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...