Câu hỏi được gắn thẻ «distributed-systems»

Tôi là một sinh viên và đang mong muốn trở thành một học giả; làm toàn bộ công cụ tiến sĩ và bắt đầu làm nghiên cứu. Tôi quan tâm đến nhiều thứ liên quan đến khoa học máy tính nhưng gần đây các công nghệ P2P đã thực sự …

8 distributed-systems  research 

Trên biểu đồ , chúng tôi thực hiện quy trình sau:G ( V, E)G(V,E)G(V,E) Ban đầu, tất cả các nút trong không màu.VVV Trong khi có các nút không màu trong , mỗi nút không màu thực hiện như sau: VVV Chọn một số thực ngẫu nhiên và gửi nó …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Tôi có một số khó khăn trong việc hiểu thuật toán phân tán cho cây 6 - tô màu trong thời gian .O ( nhật ký*n )O(log∗⁡n)O(\log^*n) Mô tả đầy đủ có thể được tìm thấy trong bài báo sau: Đối xứng song song - Phá vỡ trong đồ thị …

8 algorithms  runtime-analysis  distributed-systems  colorings 

Tôi mới bắt đầu đọc về các hệ thống phân tán lần đầu tiên. Có một bằng chứng khá lắt léo về sự không thể đồng thuận trong một mô hình không đồng bộ bằng cách sử dụng một số cấu trúc liên kết. Mặt khác, có nhiều giao thức …

8 distributed-systems 

Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance Trong bài viết "Đạt được thỏa thuận trong sự hiện diện của những lỗi lầm", M. Pease et al. đã chứng minh rằng không có giao thức (thuộc loại nào đó) để giải quyết vấn đề cho , trong đó là số lượng tướng và là số lượng …

7 distributed-systems  information-theory  fault-tolerance 

Trong lý thuyết hệ thống phân tán, tôi đã tìm thấy định nghĩa mà một hệ thống phân tán yêu cầu, trong số các hệ thống khác, vị trí và tính minh bạch truy cập. Tôi đã tự hỏi nếu tính minh bạch của vị trí không bao gồm tính …

7 distributed-systems 

Tôi đã cố gắng nắm bắt tính tuần tự và tính tuyến tính trong bối cảnh bộ nhớ giao dịch phần mềm. Tuy nhiên, tôi nghĩ rằng cả hai khái niệm có thể được áp dụng cho bộ nhớ giao dịch nói chung. Tại thời điểm này, sau đây là …

7 distributed-systems  concurrency  databases 

Tôi đang đọc "Thời gian, Đồng hồ và thứ tự các sự kiện trong một hệ thống phân tán" của Lamport và có một chi tiết làm tôi khó chịu. Lamport định nghĩa thứ tự "xảy ra trước", mà tôi hiểu. Sau đó, ông nói rằng "Một cách khác để …

7 algorithms  distributed-systems  clocks 

Tôi có khái niệm về một mạng xã hội mạnh mẽ chống lại các cuộc tấn công độc hại từ bên ngoài. Tầm nhìn của tôi là một hệ thống được xây dựng theo cấu trúc như một mạng lưới phân tán gồm các máy chủ bằng nhau hoạt động …

7 distributed-systems 

Tôi quan tâm đến các thuật toán phân tán, đặc biệt là trong giao tiếp trong mạng với các lỗi. Tôi tìm kiếm bằng chứng về thuật toán giao tiếp ngẫu nhiên sau đây trong mạng với các lỗi. Đối với tôi có vẻ như kết quả rất chung trong …

7 algorithms  distributed-systems 

Tôi hiện đang nghiên cứu cho luận án văn bằng của tôi về khoa học máy tính với một chủ đề trong lĩnh vực bảng băm phân tán. Đương nhiên, tôi đi đến câu hỏi là thuật ngữ bảng băm phân phối xuất phát từ. (Tôi biết rằng đó không …

7 data-structures  terminology  distributed-systems  hash-tables  history 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Giả sử rằng một ứng dụng song song nhất định sử dụng thiết kế chủ-nô để xử lý một khối lượng công việc lớn. Mỗi khối lượng công việc cần một số chu kỳ để hoàn thành; số lượng chu kỳ mà bất kỳ khối lượng công việc nhất định …

7 scheduling  distributed-systems  parallel-computing