Search

Showing total 103,332 results
Start Over Language undetermined Journal sae technical paper series
103,332 results

53. Influence of Biodiesel on Vehicle Emissions and Ozone Formation

Author

Luiz Carlos Daemme, Renato de Arruda Penteado Neto, Taisa C. Dantas, Thainá de carvalho e Souza, Juliano Pazello Chedid, Sergio Machado Corrêa, and Fabiola Dayane Netto

Subjects
chemistry.chemical_compound, Biodiesel, Ozone, chemistry, Environmental science, Pulp and paper industry
Published
2021

57. A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors

Author

Nathanaël Sensfelder, Kevin Delmas, Claire Pagetti, Thomas Polacsek, Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Génie Informatique, École Polytechnique de Montréal (EPM)-Centre de Recherche en Informatique (CRI), MINES ParisTech - École nationale supérieure des mines de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-MINES ParisTech - École nationale supérieure des mines de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
CERTIFICATION, Service (systems architecture), Multi-core processor, METHODE FORMELLE, Computer science, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Certification, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Argumentation theory, 010201 computation theory & mathematics, Salient, MULTI-COEURS, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Position paper, Adaptation (computer science), Combinatorial explosion
Abstract

International audience; The Phylog project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectives of the MCP-CRI / CAST-32A position paper. Among those, two types of analysis are required: interference and safety analyses. Because of the large size of the platforms and their complexity, those analyses can lead to combinatorial explosion and to some misinterpretation. To tackle these issues, we explore a service-based modelling approach that leads to a simplification of the analyses and to the highlighting of salient properties, making the adaptation of the certification argumentation efficient.

Published
2019

81. Paper Powerplants Promote Performance Progress

Author

Daniel S. Sanborn

Subjects
Engineering, Flow (mathematics), business.industry, Airflow, Noise control, Fuel efficiency, Air quality management, business, Automotive engineering, Power (physics)
Published
1975

84. BUFFALO SECTION PAPER WORM GEAR BRONZES

Author

W M Corse

Subjects
Engineering, Worm drive, business.product_category, business.industry, Section (archaeology), Forensic engineering, business
Published
1918