Assertion: personal computer's processor | /r/HasProperty | programmed
Facets:
Source sentences:
text: Multi-core processors can be programmed and reasoned about using symmetric multiprocessing (SMP) techniques known since the 60s (see the SMP article for details).