1768 search results - page 253 / 354 » A Logic for Algebraic Effects |
120
click to vote
ISCAS
2008
IEEE
16 years 17 days ago
2008
IEEE
— This article explores the effect of using source follower buffers (SFB) at the output of source coupled logic (SCL) circuits. This technique can help to improve the power-delay...
161
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
138
click to vote
DDECS
2007
IEEE
16 years 16 days ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
136
click to vote
ETS
2007
IEEE
16 years 16 days ago
2007
IEEE
— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...
179
click to vote
FBIT
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...