Filters








6,753 Hits in 5.6 sec

Cloud Service Platform for Julia Programming on Supercomputer

Zhang Changyou, Liu Renfen, Duan Shufeng, Zhu Xiaomin, Liu Wei
2014 International Journal of Grid and Distributed Computing  
These programs are sent to supercomputers through a message system. As job description, these Julia codes are scheduled to proper nodes and executed based on the portable function library.  ...  In the computing case of bus-line statistics, the parallel Julia program on 4 nodes achieved a speed up of 3.15x.  ...  Supercomputer run Julia program based on its running environment. System Design System follows Object-Oriented design policies.  ... 
doi:10.14257/ijgdc.2014.7.4.17 fatcat:k7wl5f3sgna7vc7kdriwfcbscy

Agents.jl: agent-based modeling framework in Julia

Ali Vahdati
2019 Journal of Open Source Software  
Agent-based modeling involves designing a system of autonomous agents that interact based on a set of given rules (Grimm et al., 2006) .  ...  Agent-based modeling provides a bottom-up approach for studying complex systems, whereas analytical models have a top-down one (Bonabeau, 2002) .  ...  Summary Agent-based modeling involves designing a system of autonomous agents that interact based on a set of given rules (Grimm et al., 2006) .  ... 
doi:10.21105/joss.01611 fatcat:kot7hkiclrhcjmybcunnz7mxvi

Towards a Unified View of Modeling and Programming (Track Summary) [chapter]

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2016 Lecture Notes in Computer Science  
In a (possibly over) simplified view, as an attempt to impose some structure on this work, we can distinguish between three lines of work: formal methods, model-based engineering, and programming languages  ...  In parallel one has seen several model checkers appearing, such as SPIN, SMV, FDR, and UPPAAL. These usually  ...  Elmqvist, Henningsson, and Otter [4] (Systems Modeling and Programming in a Unified Environment based on Julia) present a new methodology for modeling cyber physical systems using a Modelica-like extension  ... 
doi:10.1007/978-3-319-47169-3_1 fatcat:gufkvdfhlzfcvdm63rjrsm6e7i

DistStat.jl: Towards Unified Programming for High-Performance Statistical Computing Environments in Julia [article]

Seyoon Ko, Hua Zhou, Jin Zhou, Joong-Ho Won
2020 arXiv   pre-print
hazards model on an 8-GPU workstation and a 720-CPU-core virtual cluster in Amazon Web Services (AWS) cloud.  ...  The Julia software package DistStat.jl implements a data structure for distributed arrays that work on both multi-node CPU clusters and multi-GPU environments transparently.  ...  for both multi-GPU programming and multi-node programming with the unified code base are rare.  ... 
arXiv:2010.16114v1 fatcat:rhonnyxfn5badaznj2t7rcpzre

The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development

Peter Fritzson, Adrian Pop, Karim Abdelhak, Adeel Ashgar, Bernhard Bachmann, Willi Braun, Daniel Bouskela, Robert Braun, Lena Buffoni, Francesco Casella, Rodrigo Castro, Rüdiger Franke (+15 others)
2020 Modeling, Identification and Control  
OpenModelica is a unique large-scale integrated open-source Modelica-and FMI-based modeling, simulation, optimization, model-based analysis and development environment.  ...  Python, Julia, and Matlab; efficient simulation and co-simulation of FMI-based models; compilation for embedded systems; Modelica-UML integration; requirement verification; and generation of parallel code  ...  Acknowledgment This work has been supported by Vinnova in the ITEA OPENPROD, MODRIO, OPENCPS, EMPHYSIS and EMBRACE projects and in the Vinnova RTISIM and EMISYS projects.  ... 
doi:10.4173/mic.2020.4.1 fatcat:dwy2tmx7gzhflj2bm3yew3pzpy

Modern simulation utilities for genetic analysis

Sarah S Ji, Christopher A German, Kenneth Lange, Janet S Sinsheimer, Hua Zhou, Jin Zhou, Eric M Sobel
2021 BMC Bioinformatics  
Julia was purpose-built for scientific programming and provides tremendous speed and memory efficiency, easy access to multi-CPU and GPU hardware, and to distributed and cloud-based parallelization.  ...  Also, modern computer languages, such as Julia, that accommodate parallelization and cloud-based computing are now mainstream but rarely used in older applications.  ...  Chu, Seyoon Ko, and Alfonso Landeros for their advice on the many features of Julia, particularly those pertaining to parallelization and GPU computing.  ... 
doi:10.1186/s12859-021-04086-8 pmid:33941078 pmcid:PMC8091532 fatcat:r2keb55zcne4xfpsai6y3hy55a

Methods, Languages and Tools for Future System Development [chapter]

Bernhard Steffen
2019 Lecture Notes in Computer Science  
In this sense, reuse, a guiding engineering principle, appears as a unifying theme in software science, and it is not surprising that the corresponding research is continuously converging.  ...  Language design for simplifying programming, analysis/verification methods and tools for guaranteeing, for example, security and real-time constraints, and validation environments for increasing automation  ...  systems based on Julia, a programming language designed to support numerical computation, and (3) propose a style of (software) system development which is based on the systematic design of domain-specific  ... 
doi:10.1007/978-3-319-91908-9_14 fatcat:4e4ejmscmvhfff3np25eaujwa4

OpenMendel: a cooperative programming project for statistical genetics

Hua Zhou, Janet S. Sinsheimer, Douglas M. Bates, Benjamin B. Chu, Christopher A. German, Sarah S. Ji, Kevin L. Keys, Juhyun Kim, Seyoon Ko, Gordon D. Mosher, Jeanette C. Papp, Eric M. Sobel (+3 others)
2019 Human Genetics  
In our view, a collaborative effort of statistical geneticists is required to develop open source software targeted to genetic epidemiology.  ...  However, the increasing volume and variety of genetic and genomic data make computational speed and ease of data manipulation mandatory in future software.  ...  ; the UC Berkeley Institute for Data Sciences as part of the Moore-Sloan Data Sciences Environment Initiative; and the 2018 Google Summer of Code.  ... 
doi:10.1007/s00439-019-02001-z pmid:30915546 pmcid:PMC6763373 fatcat:2nlwowj47ve5nb7rxsmph2qifq

Innovations for Future Modelica

Hilding Elmqvist, Toivo Henningsson, Martin Otter
2017 Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017  
Modia is based on Julia, a powerful programming language with strong focus on scientific computing, meta-programming and just-intime compilation that allows very fast development.  ...  In a companion paper new algorithms are proposed to handle much larger models than can be treated today.  ...  A specific medium is implemented with a Julia module, as shown here for a simple water model: Julia selects the concrete functions to be called based on the medium type and the state type.  ... 
doi:10.3384/ecp17132693 dblp:conf/modelica/ElmqvistHO17 fatcat:4dchbngadzhhzf6vmpha2r5mci

CSPL: an Ada95-like, Unix-based process environment

Jen-Yen Jason Chen
1997 IEEE Transactions on Software Engineering  
A CSPL process program for the IEEE Software Process Modeling Example Problem has been developed and enacted to demonstrate the capabilities of this environment.  ...  This paper depicts the following new CSPL features: 1) object orientation, 2) multirole and multiuser, and 3) unified object modeling.  ...  Perry, Stanley Sutton, Wuu Yang, and the anonymous reviewers for their valuable comments.  ... 
doi:10.1109/32.585504 fatcat:vxqmvez37zdwfegluiouqvhkfq

The method of teaching IT students computer analysis of ergonomic reserves of the effectiveness of automated control systems

Evgeniy Lavrov, Nadiia Pasko, Olga Siryk, Natalia Kisel, Nelly Sedova, S. Semerikov, S. Chukharev, S. Sakhno, A. Striuk, V. Osadchyi, V. Solovieva, T. Vakaliuk (+3 others)
2020 E3S Web of Conferences  
with technology are studied, but also the mutual influence of system elements; secondly, the course is based on a qualimetric approach to assess the reliability of the activity and the economic results  ...  We describe the structure of the "Ergonomics of Automated Systems" course, software for evaluating and optimizing the activities of operators of "human-equipment-environment" systems, and methodological  ...  -Lack of focus on "organizational ergonomics" and on the formation of a program of measures to ensure an ergonomic quality system.  ... 
doi:10.1051/e3sconf/202016610017 fatcat:pl5ft4zdtzddjb25t7r5qk2wty

JuliaReach

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019 Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19  
The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent  ...  We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the United States Air Force.  ... 
doi:10.1145/3302504.3311804 dblp:conf/hybrid/BogomolovFFPS19 fatcat:iutewqbt5jhxvb6fl7etwdvseq

Effective Extensible Programming: Unleashing Julia on GPUs

Tim Besard, Christophe Foket, Bjorn De Sutter
2019 IEEE Transactions on Parallel and Distributed Systems  
Writing efficient device code is challenging, and is typically done in a low-level programming language.  ...  Moreover, use of the high-level Julia programming language enables new and dynamic approaches for GPU programming.  ...  ACKNOWLEDGMENTS This work is supported by the Institute for the Promotion of Innovation by Science and Technology in Flanders (IWT Vlaanderen), and by Ghent University through the Concerted Research Action  ... 
doi:10.1109/tpds.2018.2872064 fatcat:ev2zxoetcjg5zixthc5cmiwecq

Enabling Pervasive Collaboration with Platform Composition [chapter]

Trevor Pering, Roy Want, Barbara Rosario, Shivani Sud, Kent Lyons
2009 Lecture Notes in Computer Science  
Addressing some of these gaps, Platform Composition is a technique designed to overcome the usability limitations of small mobile devices and facilitate group activities in ad-hoc environments by enabling  ...  users to run legacy applications on a collection mobile devices.  ...  These standards provide a consistent programming model across diverse hardware platforms and utilize standard communication protocols, such as TCP/IP, enabling them to operate in distributed environments  ... 
doi:10.1007/978-3-642-01516-8_14 fatcat:enjpz6or5nbbtig4vfrpxnnlte

A Component Model Engineered with Components and Aspects [chapter]

Lionel Seinturier, Nicolas Pessemier, Laurence Duchien, Thierry Coupaye
2006 Lecture Notes in Computer Science  
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model.  ...  The novelty of this paper lies in the presentation of AOKell, an implementation of the Fractal model with aspects.  ...  We thank Romain Rouvoy for many discussions about AOKell and for numerous bug reports, Philippe Merle and Renaud Pawlak for their valuable comments about this article.  ... 
doi:10.1007/11783565_10 fatcat:pmehmx2w5bbglpgktvgmhicmxy
« Previous Showing results 1 — 15 out of 6,753 results