İptal Edildi

Parallel Computing / LATEX/ Promela : Principles of Concurrent and Distributed Programming

Subject(s): Computer Science—Parallel Computing

Deadline " 4 days after confirmation

Budget 50-80$

Wrong /Plagiarized solution not accepted!

the textbook is:

Principles of Concurrent and Distributed Programming 2nd edition, M Ben-Ari, Addison-Wesley, 2006.

The assignment is on concurrent computing, need to use both mathematical proofs and spin verification tool. Documentation done with " Latex"" .Need to do the assignment to the spec including the bonus marks.

Hi, this is the assignment I mentioned earlier, please take a look and reply.

If you are willing to take this assignment, please answer the following questions:

1. Are you familiar with spin verification? Please gimme examples of its features.

2. Could you please tell me the difference between safety and liveliness properties? Waiting in a line for a hotdog-realistically. Is the statement "getting a hotdog eventually" a safety or liveliness property?

Oh, the subject is quite specialized, if you are trying to start from scratch, it's going to be difficult.

The requirements are:

1. Familiar with parallel computing. eg) critical section, semaphores, model checking, formal verification.

2. Heavy on relational mathmatics: mathmatical proofs and LTL(linear temporal logic) concepts.

3. You need to program the model physically on spin verification tool which uses promela. Similar syntax with C, but vastly different control structure.

Sorry, I'm looking for a tutor familiar with the subject.

It's not big at all. If you know what you are doing, the math proof is simple, the model is a variation of dining cryptographer problem, and the spin code is minimal.

I'm asking for a solution because the lecturer did not provide with enough examples on assertion/induction proofs that I need a correct solution to check my own solution.

The budget is approx ($50-80)

PLEASE if you are not familiar with the subject then release it for someone else. I will not accept incomplete wrong solution.

Beceriler: Algoritma, LaTeX, Yazılım Mimarisi

Daha fazlasını görün: what you need to know for programming, what's algorithm, what is the use of algorithm in computer science, what is the problem statement, what is the algorithm, what is syntax in programming, what is scratch programming, what is problem statement, what is parallel programming, what is linear programming, what is computer programming, what is big oh, what is a programming algorithm, what is a problem statement in science, what is a problem statement, what is algorithm in programming, what is algorithm in math, what is algorithm in computer, what is a computer algorithm, what is a algorithm in programming, what is a algorithm in computing, what is a algorithm, what do you need to start computer programming, what are the examples of solution in science, what algorithm

İşveren Hakkında:
( 29 değerlendirme ) Jaipur, India

Proje NO: #6532260

2 freelancer bu iş için ortalamada 59$ teklif veriyor

tulebaev

A proposal has not yet been provided

in 4 gün içinde88$ USD
(11 Değerlendirme)
4.0
abhijits2014

This can be done. I have 6 years of experience including 4 years of experience developing algorithms and programming in c++. Do let me know in case of further interest.

in 3 gün içinde30$ USD
(0 Değerlendirme)
0.0
cptmazi

A proposal has not yet been provided

in 10 gün içinde222$ USD
(0 Değerlendirme)
0.0