Výsledky vyhledávání - "Hawblitzel, C."

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í: "Hawblitzel, C."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 524 pro vyhledávání: '"Hawblitzel, C."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Mobile object layer: a runtime substrate for parallel adaptive and irregular computations

Autor: Chrisochoides, N. ^*, Barker, K., Nave, D., Hawblitzel, C.

Publikováno v: In Advances in Engineering Software 2000 31(8):621-637

Zobrazit plný text záznamu

Vybrat výsledek číslo 2 2

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 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

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 5 5

Akademický článek

Assembly Function Recognition in Embedded Systems as an Optimization Problem.

Autor: Avitan, Matan¹ (AUTHOR), Ravve, Elena V.² (AUTHOR) vlvolkov@braude.ac.il, Volkovich, Zeev² (AUTHOR)

Publikováno v: Mathematics (2227-7390). Mar2024, Vol. 12 Issue 5, p658. 23p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 6 6

Akademický článek

SafeMD: Ownership-Based Safe Memory Deallocation for C Programs.

Autor: Yin, Xiaohua, Huang, Zhiqiu, Kan, Shuanglong, Shen, Guohua

Publikováno v: Electronics (2079-9292); Nov2024, Vol. 13 Issue 21, p4307, 20p

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

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 8 8

Conference

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

Akademický článek

A Trusted Execution Environment RISC-V System-on-Chip Compatible with Transport Layer Security 1.3.

Autor: Kieu-Do-Nguyen, Binh, Nguyen, Khai-Duy, Dang, Tuan-Kiet, The Binh, Nguyen, Pham-Quoc, Cuong, Tran, Ngoc-Thinh, Pham, Cong-Kha, Hoang, Trong-Thuc

Publikováno v: Electronics (2079-9292); Jul2024, Vol. 13 Issue 13, p2508, 24p

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[53]

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

248 Elektronické knihy
126 Akademické články
73 Konferenční materiály
70 Knihy
15 Časopisy

144 software engineering
138 computer science
79 compilers (computer programs)
69 machine theory
66 artificial intelligence
65 computer networks
56 computer programming
40 algorithms
26 computer engineering
20 programming languages
19 computer simulation
18 computer software--verification--congresses
18 computer systems
16 computers
16 computers, special purpose
15 data protection
14 electronic digital computers-evaluation
13 computer software
12 application software
12 cryptography
12 formal methods (computer science)--congresses
11 electronic data processing-management
10 computer operating systems
10 information theory
10 microprogramming
10 operating systems (computers)
10 software engineering--congresses
10 systems software
8 computer science-mathematics
8 computer security
8 computer software development
8 electronic data processing
8 java programming language
7 data encryption (computer science)
7 data structures (computer science)
7 database management
7 formal verification
7 software verification
6 access control
6 computer architecture
6 computer input-output equipment
6 computer network protocols
6 confinement
6 professions
6 security
6 system analysis--congresses
6 system design--congresses
6 verification
5 computer logic
5 computer programming--congresses

234 springer
114 springer nature
55 association for computing machinery
18 ieee
12 mdpi
11 cambridge university press
10 wiley-blackwell
7 usenix association
5 association for computing machinery, inc
4 springer verlag
3 ios press
2 american meteorological society
2 chapman and hall/crc
2 igi global
2 royal society
1 academic press
1 arcler press
1 association for computing machinery (acm)
1 elsevier b.v.
1 elsevier ltd
1 elsevier science ltd
1 hal ccsd
1 igi global, inc.
1 information science reference
1 institute of electrical and electronics engineers inc.
1 iste press - elsevier
1 logical methods in computer science
1 now publishers
1 pearson studium
1 schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
1 springer berlin heidelberg
1 springer science and business media deutschland gmbh
1 toronto academic press
1 uk simulation society
1 wiley
1 wiley-ieee computer society pr

15 communications of the acm
13 journal of automated reasoning
9 international journal of information security
8 lecture notes in computer science
6 journal of functional programming
5 acm / sigplan notices
5 concurrency & computation: practice & experience
5 formal methods in system design
5 international journal on software tools for technology transfer
4 acm sigplan notices
4 electronics (2079-9292)
4 mathematical structures in computer science
4 mathematics (2227-7390)
4 sensors (14248220)
3 acm sigops european workshop
3 advances in engineering software
3 computer aided verification (9783319216898)
3 computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i
3 computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part ii
3 computing
3 fm 2016: formal methods
3 interactive theorem proving (9783319089690)
3 journal of computer science & technology (10009000)
3 operating systems review (acm)
3 proceedings of the acm on programming languages
3 proceedings of the acm sigplan conference on programming language design and implementation (pldi)
2 2013 9th joint meeting of the european software engineering conference and the acm sigsoft symposium on the foundations of software engineering, esec/fse 2013 - proceedings
2 acm transactions on information & system security (tissec)
2 acm transactions on programming languages & systems
2 computer aided verification - 27th international conference, cav 2015, proceedings
2 formal techniques for safety-critical systems third international workshop, ftscs 2014, luxembourg, november 6-7, 2014. revised selected papers
2 fundamenta informaticae
2 innovations in systems & software engineering
2 journal of cryptographic engineering
2 journal of the acm
2 monthly weather review
2 nuclear inst. and methods in physics research, a
2 philosophical transactions of the royal society a: mathematical, physical & engineering sciences
2 proceedings of the 8th acm sigops european workshop on support for composing distributed applications, ew 1998
2 proceedings of the 8th acm sigops european workshop: support for composing distributed applications
2 software: practice & experience
2 tools & algorithms for the construction & analysis of systems: 20th international conference, tacas 2014, held as part of the european joint conferences on theory & practice of software, etaps 2014, grenoble, france, april 5-13, 2014. proceedings
2 verification, model checking & abstract interpretation: 15th international conference, vmcai 2014, san diego, ca, usa, january 19-21, 2014, proceedings
1 2014 conference on timely results in operating systems, trios 2014
1 cade 2013 - 24th international conference on automated deduction, proceedings
1 certified programs and proofs - second international conference, cpp 2012, proceedings
1 computer aided verification - 24th international conference, cav 2012, proceedings
1 conference record of the annual acm symposium on principles of programming languages
1 leibniz international proceedings in informatics, lipics
1 nuclear instruments and methods in physics research section a

217 eBook Index
199 Complementary Index
49 Scopus®
31 eBook Collection (EBSCOhost)
12 Business Source Ultimate
10 Academic Search Ultimate
2 ScienceDirect
2 Supplemental Index
2 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......