Results 11 to 20 of about 589,822 (305)
Model Checking Markov Chains with Actions and State Labels [PDF]
, 2007 In the past, logics of several kinds have been proposed for reasoning about discrete- or continuous-time Markov chains. Most of these logics rely on either state labels (atomic propositions) or on transition labels (actions).
Baier, Christel +4 more
core +3 more sources
Feedback in Automated Clutch Control Circuit for Truck Start-Up Process
Наука и техника, 2018 The paper presents description of a mechatronic control system for mechanical transmission of a 20-ton truck, as well as its adaptive start-up algorithm, transient process behavior which significantly affects durability of automated power unit elements ...
Le Van Nghia
doaj +1 more source
Micromachines, 2018 These days, the demand on electronic systems operating at high temperature is increasing owing to bursting interest in applications adaptable to harsh environments on earth, as well as in the unpaved spaces in the universe.
Myeongsun Kim +5 more
doaj +1 more source
Automating embedded analysis capabilities and managing software complexity in multiphysics simulation part I: template-based generic programming [PDF]
, 2012 An approach for incorporating embedded simulation and analysis capabilities in complex simulation codes through template-based generic programming is presented.
Pawlowski, Roger P. +2 more
core +3 more sources
An approach to rollback recovery of collaborating mobile agents [PDF]
, 2004 Fault-tolerance is one of the main problems that must be resolved to improve the adoption of the agents' computing paradigm. In this paper, we analyse the execution model of agent platforms and the significance of the faults affecting their constituent ...
Bargiela, A, Osman, T, Wagealla, W
core +1 more source
Transient-Execution Attacks: A Computer Architect Perspective
ACM Computing Surveys, 2023 Computer architects employ a series of performance optimizations at the micro-architecture level. These optimizations are meant to be invisible to the programmer but they are implicitly programmed alongside the architectural state.
L. Fiolhais, Leonel Sousa
semanticscholar +1 more source
Advances in Integrated Vehicle Thermal Management and Numerical Simulation
Energies, 2017 With the increasing demands for vehicle dynamic performance, economy, safety and comfort, and with ever stricter laws concerning energy conservation and emissions, vehicle power systems are becoming much more complex.
Yan Wang +5 more
doaj +1 more source
Integration, management and communication of heterogeneous design resources with WWW technologies [PDF]
, 2006 Recently, advanced information technologies have opened new pos-sibilities for collaborative designs. In this paper, a Web-based collaborative de-sign environment is proposed, where heterogeneous design applications can be integrated with a common ...
Ji, S, Li, J, Su, D
core +1 more source
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment [PDF]
Iranian Journal of Chemistry & Chemical Engineering, 2004 Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task.
Ali Farzi, Arjomand Mehrabani
doaj
Optimal Operation of Transient Gas Transport Networks
Optimization and Engineering, 2021 In this paper, we describe an algorithmic framework for the optimal operation of transient gas transport networks consisting of a hierarchical MILP formulation together with a sequential linear programming inspired post-processing routine.
Kai Hoppmann-Baum +6 more
semanticscholar +1 more source