Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Petru Eles 39 träffar

Titel Författare År Språk
1 Abstracting and counting synchronizing processes 2014 Engelska
2 Back-annotation of VHDL behavioral models for postsynthesis simulation 1994 Engelska
3 An Energy Efficient Technique for Temperature-Aware Voltage Selection Min Bao 2009 Engelska
4 Energy efficient technique for temperature-aware voltage selection Min Bao 2009 Engelska
5 System-level techniques for temperature-aware energy optimization Min Bao 2010 Engelska
6 Enhancing TSN Adoption by Industry - Tools to Support Migrating Ethernet-based Legacy Networks into TSN Daniel Bujosa Mateu 2023 Engelska
7 Compiling VHDL into a high-level synthesis design representation 1992 Engelska
8 A Petri net based modeling and verification technique for real-time embedded systems Luis Alejandro Cortés 2001 Engelska
9 Verification and scheduling techniques for real-time embedded systems Luis Alejandro Cortés 2005 Engelska
10 Parameterized verification of synchronized concurrent programs Zeinab Ganjei 2021 Engelska
11 Verifying Safety of Parameterized Heard-Of Algorithms NETYS 2020 Networked Systems. 8th International Conference Zeinab Ganjei 2021 Engelska
12 Temperature aware and defect-probability driven test scheduling for system-on-chip Zhiyuan He 2010 Engelska
13 Verification of component-based embedded system designs Daniel Karlsson, teknisk doktor 2006 Engelska
14 Test optimization for core-based system-on-chip Anders Larsson, (datorsystem) 2008 Engelska
15 Execution Time Minimization Based on Hardware/Software Partitioning and Speculative Prefetch Adrian Alin Lifa 2012 Engelska
16 Execution time minimization based on hardware/software partitioning and speculative prefetch Adrian Lifa 2012 Engelska
17 System-level design of GPU-based embedded systems Arian Maghazeh 2018 Engelska
18 Security-aware design of cyber-physical systems for control applications Rouhollah Mahfouzi 2021 Engelska
19 Analysis and optimisation of real-time systems with stochastic behaviour Sorin Manolache 2005 Engelska
20 Real-Time Applications with Stochastic Task Execution Times electronic resource - Analysis and Optimisation Sorin. Manolache 2007 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.