2022 search results - page 74 / 405 » Complexity of Non-Monotonic Logics |
85
Voted
ICDE
1993
IEEE
15 years 4 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
69
Voted
ISTA
2007
15 years 2 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
107
Voted
WSC
1997
15 years 2 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
74
Voted
ARCS
2010
Springer
15 years 5 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
120
click to vote
ISAAC
1995
Springer
15 years 4 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...