1365 search results - page 172 / 273 » Learning with Product Units |
107
Voted
SEKE
1994
Springer
15 years 4 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
204
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
107
click to vote
ASAP
2004
IEEE
15 years 4 months ago
2004
IEEE
Public-key cryptosystems generally involve computation-intensive arithmetic operations, making them impractical for software implementation on constrained devices such as smart ca...
115
Voted
ICES
2000
Springer
15 years 4 months ago
2000
Springer
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...
WSC
2007
15 years 3 months ago
2007
Event simulation and analytic modeling are used to evaluate the performance of Low Latency Queueing (LLQ), a queueing discipline available in some Internet packet switching router...