2597 search results - page 434 / 520 » A Relational Approach to Support Software Architecture Analy... |
159
click to vote
CASES
2009
ACM
15 years 12 months ago
2009
ACM
As technology scales and the energy of computation continually approaches thermal equilibrium [1,2], parameter variations and noise levels will lead to larger error rates at vario...
144
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
151
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
258
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
148
click to vote
FPCA
1989
15 years 9 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...