Results 31 to 40 of about 49,126 (246)
Concurrent Typestate-Oriented Programming in Java [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronization ...
Rosita Gerbo, Luca Padovani
doaj +1 more source
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Safety-Critical Java (SCJ) is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler ...
Alvaro Miyazawa, Ana Cavalcanti
doaj +1 more source
Toward a method of object-oriented concurrent programming [PDF]
Communications of the ACM, 1993 Denis Caromel
openaire +3 more sources
Design of a Traffic Microsimulation in UML
Communications, 2003 From the programming point of view traffic microsimulations consist of concurrent, interacting processes. Several representations of the same type (i.e. a car) are simulated over time.
Genia Ortis
doaj +1 more source
Object-Oriented Concurrent Constraint Programming in Oz [PDF]
, 1993 Oz is an experimental higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values
Smolka, Gert +2 more
openaire +2 more sources
Arch-pattern based design and aspect-oriented implementation of Readers-Writers concurrent problem [PDF]
Computer Science Journal of Moldova, 2007 The classical problems of concurrent programming start from the design problems of operating systems in the 80-s. But today there are still proposed new solutions for these problems with the help of various design and programming approaches.
Dumitru Ciorbă +3 more
doaj
Choral: Object-oriented Choreographic Programming
ACM Transactions on Programming Languages and Systems, 2023 Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together.
Saverio Giallorenzo +2 more
semanticscholar +1 more source
Concurrent programming notations in the object-oriented language Arche
, 1992 Paradigms of object-oriented programming are attractive for the design of large distributed software. They notably provide a sound basis to develop applications that are easy to maintain and reuse. However, expressing concurrency in object-oriented languages raises some difficulties.
Benveniste, Marc, Issarny, Valérie
openaire +2 more sources
Advanced Engineering Materials, EarlyView.In this study, the mechanical response of Y‐shaped core sandwich beams under compressive loading is investigated, using deep feed‐forward neural networks (DFNNs) for predictive modeling. The DFNN model accurately captures stress–strain behavior, influenced by design parameters and loading rates.
Ali Khalvandi +4 more
wiley +1 more source
Multiscale Modeling of Process‐Induced Defects in Fused Filament Fabrication‐Printed Materials
Advanced Engineering Materials, EarlyView.This study presents a predictive multiscale modeling tool for defect analysis of fused filament fabricated‐printed materials and their performance prediction using a mechanistic data science‐based reduced‐order modeling approach. Process‐induced defects are inherent to additively manufactured parts and significantly influence the performance of printed
Satyajit Mojumder +3 more
wiley +1 more source