Výsledky vyhledávání - "Vendraminetto, D."

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Vendraminetto, D."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 26 pro vyhledávání: '"Vendraminetto, D."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 2 2

Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills

Autor: Cabodi, G, Camurati, P, Pasini, P, Patti, D, Vendraminetto, D

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2153::2bdf1e6ce683709edc93b9450ca09e58
http://hdl.handle.net/11583/2854921

Zobrazit plný text záznamu

Vybrat výsledek číslo 3 3

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 4 4

Conference

Secure embedded architectures: Taint properties verification.

Autor: Cabodi, G., Camurati, P., Finocchiaro, S. F., Loiacono, C., Savarese, F., Vendraminetto, D.

Publikováno v: 2016 International Conference on Development & Application Systems (DAS); 2016, p150-157, 8p

Zobrazit plný text záznamu

Vybrat výsledek číslo 5 5

Conference

Tightening BDD-based approximate reachability with SAT-based clause generalization∗.

Autor: Cabodi, G., Pasini, P., Quer, S., Vendraminetto, D.

Publikováno v: 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Conference

Optimization techniques for craig interpolant compaction in unbounded model checking.

Autor: Cabodi, G., Loiacono, C., Vendraminetto, D.

Publikováno v: Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p1417-1422, 6p

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

Conference

Fast cone-of-influence computation and estimation in problems with multiple properties.

Autor: Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S., Ricossa, S., Vendraminetto, D., Baumgartner, J.

Publikováno v: Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p803-806, 4p

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 9 9

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 10 10

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat vše | Vybrané výsledky:

1
2
3
Další »
[3]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

13 Akademické články
12 Konferenční materiály
2 Knihy
1 Recenze

12 model checking
10 interpolation
8 boolean functions
8 hardware
8 logic gates
6 logic circuits
5 compaction
5 data structures
5 logic
5 network synthesis
3 circuit complexity
3 cluster analysis (statistics)
3 clustering algorithms
3 compacting
3 drosophila
3 logic design
3 redundancy
3 redundancy in engineering
3 scalability
2 applied computing
2 education
2 formal verification
2 optimization techniques
2 problem solving
2 recursion
2 refinement
2 theory of computation
1 algorithm design techniques
1 authentication
1 confidentiality
1 craig interpolant
1 cryptographic protocols
1 data security
1 information flow
1 internet of things
1 meltdown
1 reorder buffer
1 schema-based instruction
1 security properties
1 security verification
1 spectre
1 speculative execution
1 verification

8 ieee
8 institute of electrical and electronics engineers inc.
2 association for computing machinery
2 ieee-inst electrical electronics engineers inc
2 springer verlag
2 tempus publications
1 ieee computer society
1 kluwer academic publishers

6 ieee transactions on computer-aided design of integrated circuits & systems
4 ieee transactions on computer-aided design of integrated circuits and systems
3 proceedings -design, automation and test in europe, date
2 lecture notes in computer science
2 proceedings of the conference: design, automation & test in europe
1 2014 design, automation & test in europe conference & exhibition (date)
1 2016 13th international conference on development and application systems, das 2016 - conference proceedings
1 2016 1st ieee international verification and security workshop, ivsw 2016
1 2016 international conference on development & application systems (das)
1 codes, cryptology and information security - 3rd international conference, c2si 2019, proceeding
1 formal methods in system design
1 ieee design and test
1 international journal of engineering education
1 proceedings of the 16th conference on formal methods in computer-aided design, fmcad 2016
1 software engineering and formal methods - 15th international conference, sefm 2017, proceedings

13 Scopus®
6 Complementary Index
2 Science Citation Index Expanded
2 Business Source Ultimate
2 Academic Search Ultimate
1 OpenAIRE

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......