Scilab Home Page | Wiki | Bug Tracker | Forge | Mailing List Archives | Scilab Online Help | File Exchange
ATOMS : Manage Distributed Tasks Formal Modeling details
Login with GitLab

Manage Distributed Tasks Formal Modeling

Manage the formal modeling solution to the task posed in the .sce format in the cloud projects
(3098 downloads for this version - 5926 downloads for all versions)
Igor Starostin
Igor Starostin
Creation Date
July 13, 2022
Source created on
Scilab 6.1.x
Binaries available on
Scilab 6.1.x:
Windows 64-bit Windows 32-bit Linux 64-bit Linux 32-bit macOS
Install command
--> atomsInstall("manage_distrib_tasks_formal_modeling")
            Management of the tasks for formal modeling project set in the .sce format on
the cloud projects.

  Multicomputer parallelization of a given task consists in dividing this task
into assigned subtasks with their subsequent implementation on computational
nodes for formal modeling project. Then, based on the results of solving these
subtasks, subsequent independent subtasks are called in parallel on these
computational nodes. These subtasks are presented in the .sce format, which is a
scheme for solving these subtasks based on Scilab functions. This ATOMS module
implements an interface for administering tasks performed on computational
Files (2)
[13.98 kB]
OS-independent binary for Scilab 6.1.x

News (0)
Comments (0)
Leave a comment
You must register and log in before leaving a comment.
Login with GitLab
Email notifications
Send me email when this toolbox has changes, new files or a new release.
You must register and log in before setting up notifications.