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: Zebo Peng 61 träffar

Titel Författare År Språk
1 Abstracting and counting synchronizing processes 2014 Engelska
2 An Energy Efficient Technique for Temperature-Aware Voltage Selection Min Bao 2009 Engelska
3 Energy efficient technique for temperature-aware voltage selection Min Bao 2009 Engelska
4 System-level techniques for temperature-aware energy optimization Min Bao 2010 Engelska
5 A Petri net based modeling and verification technique for real-time embedded systems Luis Alejandro Cortés 2001 Engelska
6 Verification and scheduling techniques for real-time embedded systems Luis Alejandro Cortés 2005 Engelska
7 Parameterized verification of synchronized concurrent programs Zeinab Ganjei 2021 Engelska
8 Verifying Safety of Parameterized Heard-Of Algorithms NETYS 2020 Networked Systems. 8th International Conference Zeinab Ganjei 2021 Engelska
9 Testability analysis and improvement from VHDL behavioral specifications Xinli Gu 1994 Engelska
10 Testability measure with reconvergant fanout analysis and its applications Xinli Gu 1991 Engelska
11 Synthesis under local timing constraints in the CAMAD high-level synthesis system Jonas Hallberg 1995 Engelska
12 Temperature aware and defect-probability driven test scheduling for system-on-chip Zhiyuan He 2010 Engelska
13 High-level test generation and built-in self-test techniques for digital systems Gert Jervan 2002 Engelska
14 Hybrid built-in self-test and test generation techniques for digital systems Gert Jervan 2005 Engelska
15 Verification of component-based embedded system designs Daniel Karlsson, teknisk doktor 2006 Engelska
16 An integrated design methodology for digital systems Krzysztof Kuchcinski 1993 Engelska
17 Microprogramming implementation of timed Petri nets Krzysztof Kuchcinski 1985 Engelska
18 Parallelism extraction from sequential programs for VLSI applications Krzysztof Kuchcinski 1987 Engelska
19 Testability analysis in a VLSI high-level synthesis system Krzysztof Kuchcinski 1989 Engelska
20 Test optimization for core-based system-on-chip Anders Larsson, (datorsystem) 2008 Engelska

1 2 3 4 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.