• Aucun résultat trouvé

High-level trigger

Commissioning of the CMS High-Level Trigger with cosmic rays

Commissioning of the CMS High-Level Trigger with cosmic rays

... Run 68021 incorporated most of the detectors that were missing in the previous run; how- ever, the forward calorimeter (HF) was not included. In addition, an increase in the number of triggers from 16 to 24 added ...

32

Real-time data processing in the ALICE High Level Trigger at the LHC

Real-time data processing in the ALICE High Level Trigger at the LHC

... functionality, which led to the development of the Common Read-Out Receiver Card (C-RORC) as a custom readout board for Run 2. The hardware was developed in order to enable the readout of detec- tors at higher link ...

43

Performance of the ATLAS RPC detector and Level-1 muon barrel trigger at $\sqrt{s}=13$ TeV

Performance of the ATLAS RPC detector and Level-1 muon barrel trigger at $\sqrt{s}=13$ TeV

... barrel trigger at √ 𝒔 = 13 TeV The ATLAS Collaboration The ATLAS experiment at the Large Hadron Collider (LHC) employs a trigger system consisting of a first-level hardware trigger (L1) and a ...

63

Design Productivity of a High Level Synthesis Compiler versus HDL

Design Productivity of a High Level Synthesis Compiler versus HDL

... As the CAPH language is not mainstream like the VHDL language, details on the syntax and semantics are given in this section. The behavior of individual actors in CAPH is specified using a set of transition rules, where ...

9

modelling high-level-waste vitrification in cold crucibles

modelling high-level-waste vitrification in cold crucibles

... Induction of heat power in the melt (Joule effect) taking into account Temperature-dependent electrical conductivity. PGM-concentration-dependent electrical conductivity[r] ...

9

From Relevant High-level Properties to WCET Computation Improvement

From Relevant High-level Properties to WCET Computation Improvement

... • A proposal to early compute execution time of software application based on software context bounded by data flow definition. Outline. Section 2 focuses on the user side of the WCET analyses. We list several categories ...

10

Application-specific arithmetic in high-level synthesis tools

Application-specific arithmetic in high-level synthesis tools

... A problem is that the transformed code will also fail the test if it is more accurate than the original. Indeed, the golden reference is the result of a certain combination of rounding errors using the standard FP ...

24

Inert gas fire extinguishment: excessive high-level vents

Inert gas fire extinguishment: excessive high-level vents

... / La version de cette publication peut être l’une des suivantes : la version prépublication de l’auteur, la version acceptée du manuscrit ou la version de l’éditeur. For the publisher’[r] ...

9

MetAcsl: Specification and Verification of High-Level Properties

MetAcsl: Specification and Verification of High-Level Properties

... 2 is formally proved, it might be very difficult for a verification engineer, a code reviewer or a certification authority to convince themselves that the provided contracts indeed ensure the expected ...

7

High Level Power Analysis for Embedded DSP Software

High Level Power Analysis for Embedded DSP Software

... Differing of all other recent works on power consumption optimization for DSP which operate at the instruction level [2], we have chosen to conduct the study at a behavioral level. Such a methodology can ...

7

Dynamic Communicating Automata and Branching High-Level MSCs

Dynamic Communicating Automata and Branching High-Level MSCs

... p q m . 3 Branching High-Level Message Sequence Charts In this section, we propose a generalization of HMSCs that is suited to our dynamic setting. It is inspired by branching automata over series-parallel ...

13

High Level Hardware Synthesis of RVC Dataflow Programs

High Level Hardware Synthesis of RVC Dataflow Programs

... A Dataflow program can be defined as a directed graph which vertices repre- sent the execution processes and the edges represent communication FIFO channels between these processes. The data exchanged through FIFOs is ...

192

Collaborative planning with encoding of users' high-level strategies

Collaborative planning with encoding of users' high-level strategies

... Related Work Early works in collaborative or mixed-initiative planning date back to the mid-1990’s, when the authors of the TRAINS (Ferguson et al. 1996) and TRIPS (Ferguson and Allen 1998) projects sought to provide ...

8

Integrating high-level requirements in optimization problems: theory and applications

Integrating high-level requirements in optimization problems: theory and applications

... specific level of details of the target system to a properly lower/higher one, so that we can focus on the features which are really relevant and “hide” the ...

169

A double phantastron precision trigger generator

A double phantastron precision trigger generator

... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. NRC Publicat[r] ...

18

Glass ceramic for the vitrification of high level waste with a high molybdenum content

Glass ceramic for the vitrification of high level waste with a high molybdenum content

... The vitrification of nuclear waste with this glass ceramic has been shown to be feasible by cold crucible induction melting, which allows the melt to be heated to temperatures high enough for it to remain ...

27

Latch Optimization in Circuits Generated from High-level Descriptions

Latch Optimization in Circuits Generated from High-level Descriptions

... Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, Iri[r] ...

23

Timbre from Sound Synthesis and High-level Control Perspectives

Timbre from Sound Synthesis and High-level Control Perspectives

... In the second part of the chapter, environmental sounds have been investigated in order to identify so-called invariant sound structures that can be considered as the backbon[r] ...

44

A First Experimentation on High-Level Tooling Support upon Fractal

A First Experimentation on High-Level Tooling Support upon Fractal

... W e have already started to investigate further in the development of a higher-level tooling environment for F ra tal, whi h would go beyond the stru tural issues presented above. W e have developed an early ...

4

Liquidsoap: a High-Level Programming Language for Multimedia Streaming

Liquidsoap: a High-Level Programming Language for Multimedia Streaming

... Abstract. Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve it, based on a dedi- cated ...

13

Show all 7661 documents...

Sujets connexes