A case for precise, fine-grained pointer synthesis in high-level synthesis [PDF]
, 2021 This article combines two practical approaches to improve pointer synthesis within HLS tools. Both approaches focus on inefficiencies in how HLS tools treat the points-to graph – a mapping that connects each instruction to the memory locations that it ...
Ramanathan, Nadesh +2 more
core +1 more source
Agricultural Accidents and Ergonomic intervention in Agricultural Machinery Design in India [PDF]
, 2023 Accident is an unexpected event with negative consequences occurring unintentionally causes due to ignorance, lack of training and knowledge and unsuited design of implements.
singh, gajendra
core +1 more source
Definition of linear regression models to calculate the technical parameters of Italian agricultural tractors [PDF]
, 2023 As it is known, the modern agricultural tractor is no longer just a machine capable to pull agricultural trailers and to operate implements but has evolved into a multi-purpose and mobile energy source with standardized interfaces (mechanical, hydraulic ...
Roberto Oberti +5 more
core +1 more source
Strength and Durability Characteristics of Soil-Cutting Working Tools [PDF]
, 2019 The most important task in designing competitive agricultural machinery is the production of parts with long service life. The development of new technologies and materials determines the technical level of agricultural engineering.
I. V. Liskin +2 more
core +4 more sources
Tools to generate and check consistency of model classes for Java PathFinder [PDF]
, 2012 Java PathFinder (JPF) is a model checker for Java applications. Like any other model checker, JPF has to combat the notorious state space explosion problem.
Nastaran Shafiei +2 more
core +1 more source
Методика инженерного расчета рабочего органа для сплошной обработки почвы паровых полей [PDF]
, 2022 Tillage of fallow fields in summer is shown to be important for obtaining high quality food grains. The need for the engineering calculation of working bodies is emphasized, since the existing tillage machines and tools do not fully ensure the ...
В. Б. Рыков +7 more
core +2 more sources
Semantics-enabled Web APIs selection patterns [PDF]
, 2011 The design of Web applications from third-party Web APIs can be shortened by providing effective tools that abstract from heterogeneity of Web API descriptions and support the designer for their proactive selection.
Devis Bianchini +5 more
core +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
An Investigation into the Grade Dynamics of Drainage Implements [PDF]
, 1985 The use of the trenchless plough drainage implement has increased in the past few years due to its efficiency and cost advantages over other methods. However, the performance of these machines when working in fields with irregular soil conditions is ...
Magalhäes, Paulo Sergio Graziano
core
Less is more: multiparty session types revisited [PDF]
, 2018 Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a multiparty session protocol, without errors. In this paper, we propose a new, generalised MPST theory. Our contribution is fourfold.
Yoshida, Nobuko +2 more
core +1 more source