8232 search results - page 1245 / 1647 » Dynamic Logic Programming |
176
click to vote
PADS
2003
ACM
16 years 3 hour ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
219
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
173
click to vote
EUROCAST
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
199
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
163
click to vote
GLVLSI
2010
IEEE
15 years 12 months ago
2010
IEEE
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...