mailing list For webmasters
Welcome Guest
realization Options
Tara2
Posted: Thursday, April 29, 2021 9:05:19 PM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208
Can you please explain 'realization' here?

The interleaving representation of concurrency is subject to the idea that there is a scheduler which interlocks the steps of concurrently executing processes according to an a priori unknown strategy. This type of representation completely abstracts from the speed of the participating processes and thus models any possible realization by a single-processor machine or by several processors with arbitrary speeds.

Principles of Model Checking
FounDit
Posted: Thursday, April 29, 2021 9:26:40 PM

Rank: Advanced Member

Joined: 9/19/2011
Posts: 15,744
Neurons: 75,132
Tara2 wrote:
Can you please explain 'realization' here?

The interleaving representation of concurrency is subject to the idea that there is a scheduler which interlocks the steps of concurrently executing processes according to an a priori unknown strategy. This type of representation completely abstracts from the speed of the participating processes and thus models any possible realization by a single-processor machine or by several processors with arbitrary speeds.

Principles of Model Checking


Wow, what a mouthful of baffle-gab. Okay. As I read it, concurrency is subject to a process that runs interlocking steps according to some strategy. This takes away from the speed of the participating processes and as such, becomes a model for any single-processor machine, or machines. Becoming a model IS the realization. It becomes the actual thing, the fact, the model.
Tara2
Posted: Friday, April 30, 2021 7:23:53 AM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208

Great. Many thanks dear FounDit.
Sorry FounDit, so which meaning of 'realization' is used here, please?
FounDit
Posted: Friday, April 30, 2021 10:31:12 AM

Rank: Advanced Member

Joined: 9/19/2011
Posts: 15,744
Neurons: 75,132
Tara2 wrote:

Great. Many thanks dear FounDit.
Sorry FounDit, so which meaning of 'realization' is used here, please?


Probably the closest would be "achievement", or "completion". Becoming a model for a machine processor would mean being made for that purpose, completed and used for that purpose. "Realization" as it is used here has the sense of being made "real"; something is brought into reality, or created, to serve a purpose.


thar
Posted: Friday, April 30, 2021 11:05:44 AM

Rank: Advanced Member

Joined: 7/8/2010
Posts: 24,116
Neurons: 97,689
Realisation is completion because it is making it real, making it a fact, completing the task.

so
you realise your dreams
you realise your potential
you realise a profit

ie achieve, make concrete and real.
Tara2
Posted: Friday, April 30, 2021 11:16:50 AM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208
Many thanks to you both for the great explanations!!!
Users browsing this topic
Guest


Forum Jump
You cannot post new topics in this forum.
You cannot reply to topics in this forum.
You cannot delete your posts in this forum.
You cannot edit your posts in this forum.
You cannot create polls in this forum.
You cannot vote in polls in this forum.