Source: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings, 232-248STARTPAGE=232;ENDPAGE=248;TITLE=Formal Methods

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Enhancing OpenMP tasking model: performance and portability

Authors : Sara Royuela; Chenle Yu; Eduardo Quinones ...

Subjects: Tasking model; Computer science; Parallel programming (Computer science)

Source: OpenMP: Enabling Massive Node-Level Parallelism ISBN: 9783030852610IWOMPUPCommons. Portal del coneixement obert de la UPCUniversitat Politècnica de Catalunya (UPC)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Streamlining the OpenMP Programming Model on Ultra-Low-Power Multi-core MCUs

Authors : Davide Rossi; Fabio Montagna; Giuseppe Tagliavini ...

Subjects: Multi-core processor; Syntax (programming languages); Computer science

Source: International Conference on Architecture of Computing SystemsArchitecture of Computing Systems ISBN: 9783030816810ARCS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Fast and Accurate Edge Computing Energy Modeling and DVFS Implementation in GEM5 Using System Call Emulation Mode

Authors : Snorre Aunet; Francky Catthoor; Yahya H. Yassin

Subjects: Technology; Computer science; Design space exploration

Source: Journal of Signal Processing Systems

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

Authors : Philippe Palanque; David Navarre; José Creissac Campos ...

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; Computer science; InformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.,HCI)

Source: Lecture Notes in Computer Science ISBN: 9783030549930FM Workshops (1)FM 2019: Formal Methods. FM 2019 International WorkshopsInternational Workshop on

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

REPLICA MBTAC

Authors : Jussi Roivainen; Martti Forsell; Ville Leppänen

Subjects: Computer science; 02 engineering and technology; Parallel computing

Source: Forsell, M, Roivainen, J & Leppänen, V 2018, ' REPLICA MBTAC : multithreaded dual-mode processor ', The Journal of Supercomputing, vol. 74, no. 5, pp. 1911-1933 .

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A toolchain to verify the parallelization of OmpSs-2 applications

Authors : Vicenç Beltran; Eduard Ayguadé; Sara Royuela ...

Subjects: 020203 distributed computing; Process (engineering); Computer science

Source: UPCommons. Portal del coneixement obert de la UPCUniversitat Politècnica de Catalunya (UPC)Euro-Par 2020: Parallel Processing-26th International Conference on Parallel and Distributed

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Enhancing resource management through prediction-based policies

Authors : Arthur Francisco Lorenzon; Antoni Navarro; Vicenç Beltran ...

Subjects: FOS: Computer and information sciences; Monitoring; Computer science

Source: UPCommons. Portal del coneixement obert de la UPCUniversitat Politècnica de Catalunya (UPC)Lecture Notes in Computer ScienceLecture Notes in

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Security assessment for routing-based synthesis on cyberphysical MEDA-based digital microfluidic biochip

Reducing Library Characterization Time for Cell-aware Test while Maintaining Test Quality

Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

Enhancing OpenMP tasking model: performance and portability

Streamlining the OpenMP Programming Model on Ultra-Low-Power Multi-core MCUs

Fast and Accurate Edge Computing Energy Modeling and DVFS Implementation in GEM5 Using System Call Emulation Mode

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

REPLICA MBTAC

A toolchain to verify the parallelization of OmpSs-2 applications

Enhancing resource management through prediction-based policies

اتصل بنا

اتبع