6348 search results - page 1172 / 1270 » Extensible control architectures |
TABLEAUX
2000
Springer
14 years 2 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
VLDB
1995
ACM
14 years 2 months ago
1995
ACM
Several recent trends have changed the usage and users of schemas beyond those of a database administrator’s tool for describing database contents. Distribution of computing pow...
ASPLOS
1991
ACM
14 years 2 months ago
1991
ACM
The memory consistency model supported by a multiprocessor architecture determines the amount of buffering and pipelining that may be used to hide or reduce the latency of memory ...
POS
1987
Springer
14 years 2 months ago
1987
Springer
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
ANCS
2008
ACM
14 years 28 days ago
2008
ACM
The significance of high-performance dedicated networks has been well recognized due to the rapidly increasing number of large-scale applications that require high-speed data tran...