1768 search results - page 259 / 354 » A Logic for Algebraic Effects |
184
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
132
click to vote
HT
2000
ACM
15 years 10 months ago
2000
ACM
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...
188
click to vote
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
148
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Increases in delay due to coupling can have a dramatic impact on IC performance for deep submicron technologies. To achieve maximum performance there is a need for analyzing logic...
160
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
A method is presented for identifying primitive path-delay faults in non-scan sequential circuits and generating robust tests for all robustly testable primitive faults. It uses t...