• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 30,078
Next 10 →

Table 2 Ownership of achitectural layers for representative computer platforms, 1990 Product Platform

in How open is open enough?
by unknown authors
"... In PAGE 4: ... Unix eventually evolved into a new form of open non-proprietary platform standard, often referred to as the open systems movement (Gabel, 1987). As with any other operating system, Unix was not a complete platform specification, because each hardware system might have different processor and peripheral interface standards ( Table2 ). However, Unix quickly evolved into a portable OS that tended to hide the differences between hardware from software applications, and so could present a set of common APIs across widely divergent hardware implementations.... ..."

Table 1: Smallest possible constant of (3.16) for the p-version extension operator.

in Extension operators on tensor product structures
by Sven Beuchler, Joachim Schöberl 2004
"... In PAGE 18: ... In all experiments, the wavelet basis described in [8] is used. Table1 displays the quality of the extension (4.13).... ..."
Cited by 6

Table 6.2: APL Operator Extensions for C

in Operator overloading in C
by William S. Miles, C William S. Miles 1995
Cited by 1

Table 1. Overview of basic RA operations and some extensions

in An FCA interpretation of Relation Algebra
by Uta Priss

Table 4. Extension and modification of the Operational Semantics with Parameters s, K for Key DAGs

in Inductive proof method for computational secrecy
by Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell 2006
Cited by 2

Table 2: lsb extension table for a down shift operation

in Bit-Alignment in Hardware Allocation for Multiplexed DSP Architectures
by Koen Schoofs Gert, Gert Goossens, Hugo De Man 1993
Cited by 6

Table 8. Extension of pi for number restrictions and the identity role operator.

in A Survey of Decidable First-Order Fragments and Description Logics
by U. Hustadt, R. A. Schmidt, L. Georgieva 2004
"... In PAGE 18: ... Decidable description logics and first-order fragments without identity 3.6 Number restrictions, identity roles and equality So far we have excluded those operators of DL whose translation into first-order logic requires the presence of equality, namely, number restrictions and identity roles; see Table8 . As pointed out before, in the presence of number restrictions and identity roles, the translation of a knowledge base needs to incorporate in- equations representing the unique name assumption.... ..."
Cited by 6

Table 8. Extension of pi for number restrictions and the identity role operator.

in A survey of decidable first-order fragments and description logics
by U. Hustadt, R. A. Schmidt, L. Georgieva 2004
"... In PAGE 18: ... Decidable description logics and first-order fragments without identity 3.6 Number restrictions, identity roles and equality So far we have excluded those operators of DL whose translation into first-order logic requires the presence of equality, namely, number restrictions and identity roles; see Table8 . As pointed out before, in the presence of number restrictions and identity roles, the translation of a knowledge base needs to incorporate in- equations representing the unique name assumption.... ..."
Cited by 6

Table 1: Overhead of MiSFIT protection on operating system extension benchmarks.

in unknown title
by unknown authors 1997
Cited by 59

Table 1: Overhead of MiSFIT protection on operating system extension benchmarks.

in Abstract MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
by Christopher Small, Margo Seltzer
Next 10 →
Results 1 - 10 of 30,078
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University