Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
alexnikleo
@alexnikleo
Компьютеры
Open Source
Подскажите симулятор для моделирования многопроцессорных систем
Подскажите open source'ные симуляторы для моделирования многопроцессорных систем.
Вопрос задан
более трёх лет назад
2766 просмотров
1
комментарий
Подписаться
2
Оценить
1
комментарий
Facebook
Вконтакте
Twitter
Алексей Гусейнов
@kibergus
А что такое «симулятор для моделирования многопроцессорных систем»? Какие системы, какой уровень абстракции? Что надо симулировать? С какой скоростью?
Но есть у меня подозрение, что таких систем может не быть.
Написано
более трёх лет назад
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
2
mwizard
@mwizard
Возможно,
Bochs
?
Ответ написан
более трёх лет назад
Комментировать
Нравится
Комментировать
Facebook
Вконтакте
Twitter
1nd1go
@1nd1go
en.wikipedia.org/wiki/SPIN_model_checker
Ответ написан
более трёх лет назад
Комментировать
Нравится
Комментировать
Facebook
Вконтакте
Twitter
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
Железо
+1 ещё
Средний
Не стартует компьютер материнская плата подаёт признаки жизни, но ругается на рабочую видеокарту в чём может быть проблема?
2 подписчика
12 мар.
111 просмотров
0
ответов
Open Source
Средний
Платное open-source приложение?
1 подписчик
10 мар.
137 просмотров
3
ответа
Компьютеры
+4 ещё
Средний
Моргание монитора после переезда. Причина в питании?
2 подписчика
10 мар.
333 просмотра
1
ответ
Железо
+2 ещё
Средний
Не работают usb порты на компьютере, как исправить?
1 подписчик
05 мар.
911 просмотров
2
ответа
Компьютеры
+2 ещё
Простой
Как подключить монитор в компьютер без видеовыхода?
1 подписчик
01 мар.
312 просмотров
6
ответов
Компьютеры
+1 ещё
Средний
Как изменить ограничение температуры видеокарты?
1 подписчик
27 февр.
192 просмотра
2
ответа
Компьютерные сети
+2 ещё
Простой
Может ли буфер обмена или другие программы скомпромитировать мой ip, если я подключаюсь к удаленному пк на vds через vpn?
1 подписчик
26 февр.
894 просмотра
2
ответа
Компьютеры
+2 ещё
Простой
ПК спонтанно уходит в перезагрузку и тормозят папки. С чем это связано?
нет подписчиков
25 февр.
412 просмотров
1
ответ
Компьютеры
Средний
Не включается компьютер, что делать?
1 подписчик
24 февр.
252 просмотра
3
ответа
Железо
+2 ещё
Средний
Компьютер не запускается, нету post сигналов, speaker молчит?
2 подписчика
23 февр.
321 просмотр
1
ответ
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Графический дизайнер упаковки
Wanted.
•
Москва
До 120 000 ₽
Backend-разработчик PHP
Wanted.
•
Москва
До 160 000 ₽
Ведущий Brand designer
Wanted.
•
Москва
До 160 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама