1768 search results - page 116 / 354 » A Logic for Algebraic Effects |
95
Voted
AML
2006
15 years 27 days ago
2006
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
93
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Negative Bias Temperature Instability (NBTI), a PMOS aging phenomenon causing significant loss on circuit performance and lifetime, has become a critical challenge for temporal re...
98
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
FPGA
2001
ACM
15 years 5 months ago
2001
ACM
As the complexity of integrated circuits increases, the ability to make post-fabrication changes to fixed ASIC chips will become more and more attractive. This ability can be real...
131
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...