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

Knihovna AV ČR, v. v. i.

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

Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

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

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

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

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

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

Conference

On-the-fly verification of rateless erasure codes for efficient content distribution.

Autor: Krohn, M.N., Freedman, M.J., Mazieres, D.

Publikováno v: IEEE Symposium on Security & Privacy, 2004; 2004, p226-240, 15p

Zobrazit plný text záznamu

Vybrat výsledek číslo 5 5

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

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

Conference

The measured performance of personal computer operating systems.

Autor: Chen, J. B., Endo, Y., Chan, K., Mazieres, D., Dias, A., Seltzer, M., Smith, M. D.

Publikováno v: Proceedings of the Fifteenth ACM Symposium: Operating Systems Principles; 12/ 3/1995, p299-313, 15p

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Conference

Secure applications need flexible operating systems.

Autor: Mazieres, D., Kaashoek, M.F.

Publikováno v: Proceedings The Sixth Workshop on Hot Topics in Operating Systems (Cat No97TB100133); 1997, p56-61, 6p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

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

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še | Vybrané výsledky:

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

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

85 Konferenční materiály
21 Akademické články
6 Knihy
1 Časopisy

9 security
5 haskell
5 performance
4 hails
4 labels
4 library
4 monad
3 active networks
3 design
3 energy
3 information flow
3 information flow control
3 management
3 mandatory access control
3 measurement
3 network architecture
3 secure web servers
3 software-defined networks
3 web application
2 authentication
2 blockchains
2 capacitor
2 consent
2 covert channels
2 decentralized information flow control
2 fault tolerance
2 fault-tolerance
2 hierarchical
2 lio
2 microsoft windows
2 netfpga
2 privacy
2 profiling
2 resource limits
2 sdn
2 type safety
1 acl
1 anonymity
1 approximate dynamic programming
1 auctions
1 authorization
1 bft
1 blockchain
1 byzantine fault tolerance
1 c.4 [computer systems organization]: performance of systems
1 confinement
1 consensus
1 control flow integrity
1 convex optimization
1 cowl

25 usenix association
15 association for computing machinery
12 association for computing machinery, inc
4 association for computing machinery (acm)
4 springer verlag
3 institute of electrical and electronics engineers inc.
2 assoc computing machinery
2 ieee
1 cambridge university press
1 infopro digital
1 informs inst.for operations res.and the management sciences
1 ios press
1 schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
1 the internet society

7 acm sigplan notices
7 lecture notes in computer science
5 acm transactions on computer systems
5 operating systems review (acm)
4 computer communication review
4 proceedings - ieee symposium on security and privacy
2 3rd symposium on networked systems design and implementation, nsdi 2006
2 communications of the acm
2 proceedings of the 10th usenix symposium on operating systems design and implementation, osdi 2012
2 proceedings of the 7th conference on emerging networking experiments and technologies, conext'11
2 proceedings of the acm conference on computer and communications security
2 proceedings of the workshop on hot topics in operating systems - hotos
1 14th workshop on hot topics in operating systems, hotos 2013
1 2nd symposium on networked systems design and implementation, nsdi 2005
1 4th symposium on networked systems design and implementation, nsdi 2007
1 4th symposium on operating system design and implementation, osdi 2000
1 4th usenix workshop on hot topics in cloud computing, hotcloud 2012
1 5th usenix symposium on networked systems design and implementation, nsdi 2008
1 acm sigops operating systems review
1 ccs 2023 - proceedings of the 2023 acm sigsac conference on computer and communications security
1 computer security, esorics 2013 - 18th european symposium on research in computer security, proceedings
1 ec 2023 - proceedings of the 24th acm conference on economics and computation
1 eurosys'11 - proceedings of the eurosys 2011 conference
1 hotnets 2017 - proceedings of the 16th acm workshop on hot topics in networks
1 hotnets 2019 - proceedings of the 18th acm workshop on hot topics in networks
1 hotos 2021 - proceedings of the 2021 workshop on hot topics in operating systems
1 hotsdn'12 - proceedings of the 1st acm international workshop on hot topics in software defined networks
1 ieee symposium on security & privacy, 2004
1 information security technology for applications - 16th nordic conference on secure it systems, nordsec 2011, revised selected papers
1 international conference on architectural support for programming languages and operating systems - asplos
1 journal of computer security
1 journal of energy markets
1 journal of functional programming
1 lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)
1 leibniz international proceedings in informatics, lipics
1 manufacturing and service operations management
1 osdi 2004 - 6th symposium on operating systems design and implementation
1 proceedings of hotos 2005 - 10th workshop on hot topics in operating systems
1 proceedings of the 10th usenix symposium on networked systems design and implementation, nsdi 2013
1 proceedings of the 10th workshop on acm sigops european workshop, ew 10
1 proceedings of the 11th usenix symposium on networked systems design and implementation, nsdi 2014
1 proceedings of the 11th usenix symposium on operating systems design and implementation, osdi 2014
1 proceedings of the 12th acm workshop on hot topics in networks, hotnets 2013
1 proceedings of the 14th usenix symposium on operating systems design and implementation, osdi 2020
1 proceedings of the 15th acm symposium on operating systems principles, sosp 1995
1 proceedings of the 16th usenix symposium on networked systems design and implementation, nsdi 2019
1 proceedings of the 17th usenix symposium on operating systems design and implementation, osdi 2023
1 proceedings of the 19th usenix security symposium
1 proceedings of the fifteenth acm symposium: operating systems principles
1 proceedings the sixth workshop on hot topics in operating systems (cat no97tb100133)

98 Scopus®
3 Complementary Index
2 Science Citation Index Expanded
1 Supplemental Index

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