Assertion list
operation (aspect of cpu ) → ReceivesAction
Results from Ascent++: 93
operation → ReceivesAction → completed 0.72
operation → ReceivesAction → performed 0.66
operation → ReceivesAction → executed 0.63
operation → ReceivesAction → performed by the cpu 0.62
operation → ReceivesAction → described 0.61
operation → ReceivesAction → shown in fig 0.57
operation → ReceivesAction → described with reference 0.54
operation → ReceivesAction → required 0.53
operation → ReceivesAction → described in detail 0.53
operation → ReceivesAction → repeated 0.51
operation → ReceivesAction → started 0.44
operation → ReceivesAction → performed by loop filtering unit 0.41
operation → ReceivesAction → determined 0.39
operation → ReceivesAction → performed by the client 0.39
operation → ReceivesAction → transferred to step 0.39
operation → ReceivesAction → illustrated in particular order 0.38
operation → ReceivesAction → performed on datum 0.38
operation → ReceivesAction → stopped 0.38
operation → ReceivesAction → shown in figure 0.37
operation → ReceivesAction → implemented in software 0.36
operation → ReceivesAction → implemented in firmware 0.35
operation → ReceivesAction → performed by a presentation mod… 0.35
operation → ReceivesAction → performed in parallel 0.35
operation → ReceivesAction → suspended 0.35
operation → ReceivesAction → achieved 0.34
operation → ReceivesAction → implemented 0.34
operation → ReceivesAction → implemented in special purpose … 0.34
operation → ReceivesAction → performed by a harvesting module 0.34
operation → ReceivesAction → performed in addition 0.34
operation → ReceivesAction → performed on the sound volume c… 0.34
operation → ReceivesAction → represented by corresponding ve… 0.34
operation → ReceivesAction → specified by instruction 0.34
operation → ReceivesAction → terminated 0.34
operation → ReceivesAction → understood 0.34
operation → ReceivesAction → combined 0.32
operation → ReceivesAction → performed by an embodiment of a… 0.32
operation → ReceivesAction → performed by security engine 0.32
operation → ReceivesAction → performed by the event display … 0.32
operation → ReceivesAction → added 0.30
operation → ReceivesAction → detected 0.30
operation → ReceivesAction → omitted 0.30
operation → ReceivesAction → performed by a probability modu… 0.30
operation → ReceivesAction → performed by the presenter comp… 0.30
operation → ReceivesAction → performed in case 0.30
operation → ReceivesAction → performed on the operation unit 0.30
operation → ReceivesAction → realized 0.30
operation → ReceivesAction → set to open switch 192a 0.30
operation → ReceivesAction → arranged to be accessed by the … 0.28
operation → ReceivesAction → associated with signal processi… 0.28
operation → ReceivesAction → coded in assembly language 0.28
operation → ReceivesAction → needed to carry out instruction 0.28
operation → ReceivesAction → performed by module 0.28
operation → ReceivesAction → performed by pointing device 0.28
operation → ReceivesAction → performed on sixteen data eleme… 0.28
operation → ReceivesAction → performed on the transmit side 0.28
operation → ReceivesAction → processed 0.28
operation → ReceivesAction → represented by the flow diagram… 0.28
operation → ReceivesAction → selected 0.28
operation → ReceivesAction → shown in the flowchart of fig 0.28
operation → ReceivesAction → specified in the command contro… 0.28
operation → ReceivesAction → arranged 0.25
operation → ReceivesAction → associated with eid 0.25
operation → ReceivesAction → associated with instruction 0.25
operation → ReceivesAction → based on mouse 0.25
operation → ReceivesAction → calculated 0.25
operation → ReceivesAction → controlled by central processin… 0.25
operation → ReceivesAction → controlled by program 0.25
operation → ReceivesAction → deferred 0.25
operation → ReceivesAction → described in the embodiment 0.25
operation → ReceivesAction → described with respect 0.25
operation → ReceivesAction → directed to particular virtual … 0.25
operation → ReceivesAction → distributed across multiple mac… 0.25
operation → ReceivesAction → executed by captured data proce… 0.25
operation → ReceivesAction → explained in conjunction 0.25
operation → ReceivesAction → illustrated in further detail 0.25
operation → ReceivesAction → performed by a tile module 0.25
operation → ReceivesAction → performed by computer system 0.25
operation → ReceivesAction → performed by operator 0.25
operation → ReceivesAction → performed by present invention 0.25
operation → ReceivesAction → performed by the server 0.25
operation → ReceivesAction → performed in any order 0.25
operation → ReceivesAction → performed in real space 0.25
operation → ReceivesAction → performed in the order 0.25
operation → ReceivesAction → performed on multiple data obje… 0.25
operation → ReceivesAction → performed on pc 0.25
operation → ReceivesAction → performed on the touch panel 0.25
operation → ReceivesAction → performed through the display s… 0.25
operation → ReceivesAction → provided by first web service 0.25
operation → ReceivesAction → read 0.25
operation → ReceivesAction → received by the operation unit 0.25
operation → ReceivesAction → simplified 0.25
operation → ReceivesAction → performed on large set of data 0.22
operation → ReceivesAction → aborted 0.16