3974 search results - page 116 / 795 » Metric Functional Dependencies |
PDP
1996
IEEE
14 years 2 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
FMCAD
2008
Springer
13 years 12 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
PPDP
2009
Springer
14 years 5 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...