Assertion list
processor (aspect of cpu ) → CapableOf

Results from Ascent++: 86
processorCapableOf execute instruction 0.77
processorCapableOf execute the program instructions 0.57
processorCapableOf perform operation 0.56
processorCapableOf run the task 0.55
processorCapableOf execute the operating system 0.53
processorCapableOf receive datum 0.52
processorCapableOf execute program 0.50
processorCapableOf fetch instruction 0.50
processorCapableOf execute computer-readable instr… 0.49
processorCapableOf perform step 0.48
processorCapableOf get hot 0.45
processorCapableOf access memory 0.43
processorCapableOf retrieve datum 0.42
processorCapableOf work with memory 0.41
processorCapableOf determine the type of operation 0.40
processorCapableOf transmit datum 0.40
processorCapableOf perform method 0.39
processorCapableOf configured to switch in response 0.36
processorCapableOf operate in parallel 0.36
processorCapableOf pass specific command 0.36
processorCapableOf execute the software module(s 0.34
processorCapableOf interface with computer periphe… 0.34
processorCapableOf operate in conjunction 0.34
processorCapableOf refer as central processing uni… 0.34
processorCapableOf transform device independent co… 0.34
processorCapableOf wait for user input 0.34
processorCapableOf generate an interpolation frame 0.31
processorCapableOf run at full speed 0.31
processorCapableOf suppress specific command 0.31
processorCapableOf work with storage 0.31
processorCapableOf classify the cell 0.29
processorCapableOf communicate 0.29
processorCapableOf communicate notification 0.29
processorCapableOf comprise a graphics processing … 0.29
processorCapableOf comprise first cache 0.29
processorCapableOf data directing to the bluetooth… 0.29
processorCapableOf execute a real time operating s… 0.29
processorCapableOf execute short loop 0.29
processorCapableOf generate appropriate data format 0.29
processorCapableOf handle numerous asynchronous ev… 0.29
processorCapableOf operate at high frequency 0.29
processorCapableOf perform calculation 0.29
processorCapableOf perform cryptographic operation 0.29
processorCapableOf perform first type of operation 0.29
processorCapableOf receive instruction 0.29
processorCapableOf receive request 0.29
processorCapableOf store executable instructions 0.29
processorCapableOf support hyper-threading 0.29
processorCapableOf transition to low operating fre… 0.29
processorCapableOf transmit second turn-on signal 0.29
processorCapableOf use multithreading resources 0.29
processorCapableOf activate cover enable signal 0.25
processorCapableOf analyze transmitted signal 0.25
processorCapableOf ascertain the set of words 0.25
processorCapableOf communicate with one another 0.25
processorCapableOf execute input/output processes 0.25
processorCapableOf execute many instructions 0.25
processorCapableOf execute one or more programs 0.25
processorCapableOf generate first signal 0.25
processorCapableOf generate the bird's eye view map 0.25
processorCapableOf implement other instruction sets 0.25
processorCapableOf monitor the network switch 0.25
processorCapableOf operate at high voltage 0.25
processorCapableOf perform color interpolation 0.25
processorCapableOf process decoded data elements 0.25
processorCapableOf receive interrupt 0.25
processorCapableOf remove a noise component 0.25
processorCapableOf retrieve value 0.25
processorCapableOf run any process 0.25
processorCapableOf run in user mode 0.25
processorCapableOf run user space processes 0.25
processorCapableOf save the state variables 0.25
processorCapableOf send message 0.25
processorCapableOf snooped the memory access reque… 0.25
processorCapableOf start executing the code 0.25
processorCapableOf supply power 0.25
processorCapableOf supply signal 0.25
processorCapableOf support different power managem… 0.25
processorCapableOf surrender the bus control 0.25
processorCapableOf transition into the c2 state 0.25
processorCapableOf transition to the minimum 0.25
processorCapableOf use dram memory 0.25
processorCapableOf vary in size 0.25
processorCapableOf deal with vectors of data 0.20
processorCapableOf spend a lot of time 0.20
processorCapableOf execute up to four threads 0.16