1742 search results - page 179 / 349 » An Applicative Module Calculus |
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same te...
ARC
2009
Springer
14 years 2 months ago
2009
Springer
Run-time reconfigurable FPGAs are powerful platforms for realising software-defined radio systems. This paper introduces a parametric approach to designing such systems based on ap...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
Abstract - We propose an integrated archltectural/physicdplanning approach named priority assignment optimization to mioimize the current surge in high performance power eifkient c...
ACSAC
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...