3733 search results - page 148 / 747 » Logics of communication and change |
102
click to vote
PATMOS
2005
Springer
15 years 6 months ago
2005
Springer
The time taken for a CMOS logic gate output to change after one or more inputs have changed is called the output delay of the gate. A conventional multi-input CMOS gate is designed...
FPGA
2003
ACM
15 years 6 months ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...
101
click to vote
SRDS
2007
IEEE
15 years 7 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
130
click to vote
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
105
click to vote
DBPL
1993
Springer
15 years 5 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...