computingModel
P37649
predicate
Indicates the computational framework, paradigm, or formal system used to perform or describe a computation.
All labels observed (9)
| Label | Occurrences |
|---|---|
| computingModel canonical | 24 |
| computingMethod | 5 |
| computationType | 3 |
| computationalModel | 3 |
| typeOfComputation | 3 |
| assumesModelOfComputation | 1 |
| computationModel | 1 |
| modelOfComputation | 1 |
| usesModelOfComputation | 1 |
Sample triples (42)
| Subject | Object |
|---|---|
| SINTRAN | centralized computing ⓘ |
| Sun Ray thin client | stateless ⓘ |
| Jini | service-oriented architecture ⓘ |
| Transportation Research and Analysis Computing Center | modeling via predicate surface "typeOfComputation" ⓘ |
| Transportation Research and Analysis Computing Center | simulation via predicate surface "typeOfComputation" ⓘ |
| Transportation Research and Analysis Computing Center | data analysis via predicate surface "typeOfComputation" ⓘ |
| Honeywell 200 series | centralized computing ⓘ |
| NPL network | store-and-forward packet switching ⓘ |
| Newcomb tables of the Sun, Mercury, Venus, and Mars | classical celestial mechanics via predicate surface "computingMethod" ⓘ |
| Cloud Run | serverless ⓘ |
| Aegis | distributed computing ⓘ |
|
“Molecular computation of solutions to combinatorial problems”
surface form:
Molecular computation of solutions to combinatorial problems
|
biochemical reaction system via predicate surface "computationalModel" ⓘ |
| Omniverse Farm | client-server ⓘ |
| RPL programming language | stack-based via predicate surface "computationalModel" ⓘ |
| IBM 604 | fixed-point arithmetic via predicate surface "computationType" ⓘ |
| Amazon Kinesis | cloud computing ⓘ |
| Colossus computers | binary via predicate surface "computationType" ⓘ |
|
"The Complexity of Theorem-Proving Procedures"
surface form:
The Complexity of Theorem-Proving Procedures
|
nondeterministic Turing machine via predicate surface "usesModelOfComputation" ⓘ |
| UltraSPARC IV | RISC ⓘ |
| Deutsch–Jozsa algorithm | quantum circuit model via predicate surface "modelOfComputation" ⓘ |
|
MIP equals NEXP
surface form:
MIP = NEXP
|
Turing machine via predicate surface "assumesModelOfComputation" ⓘ |
| AVIDAC | deterministic digital computation via predicate surface "computationType" ⓘ |
| NETL (Network Representation of Knowledge) | graph-based reasoning via predicate surface "computationalModel" ⓘ |
| Napier's bones | repeated addition via predicate surface "computingMethod" ⓘ |
| Napier's bones | use of multiplication tables via predicate surface "computingMethod" ⓘ |
| ICT 1500 series | centralized computing ⓘ |
| Open Computing Language | heterogeneous computing ⓘ |
|
complexity class RP
surface form:
RP
|
Turing machine with access to random bits via predicate surface "computationModel" ⓘ |
| Azure Container Instances | serverless ⓘ |
| IBM 801 project | load-store RISC ⓘ |
| SOAR (Smalltalk On A RISC) | object-oriented message passing ⓘ |
| SOAR (Smalltalk On A RISC) | dynamic typing ⓘ |
| Amazon Polly | cloud computing ⓘ |
| Accent operating system | distributed computing ⓘ |
| Accent operating system | network-transparent IPC ⓘ |
|
CUDA toolkit
surface form:
CUDA Toolkit
|
CUDA NERFINISHED ⓘ |
| TSS-8 | time-sharing ⓘ |
| IBM ES/9000 | centralized mainframe computing ⓘ |
| Dartmouth Time-Sharing System | remote terminal access ⓘ |
| B7800 | centralized computing ⓘ |
|
short film “Vol Libre”
surface form:
Vol Libre
|
procedural generation via predicate surface "computingMethod" ⓘ |
|
short film “Vol Libre”
surface form:
Vol Libre
|
fractal algorithms via predicate surface "computingMethod" ⓘ |