-
1
Additional Titles: Honors thesis / Colby College ; 2017
Authors: Murphy, Akira T.
Subjects: Cell phones., Mobile communication systems., Information networks., Bluetooth technology., Mobile computing., Operating systems (Computers), Radiocommunications mobiles., Réseaux d'information., Bluetooth (Technologie), Informatique mobile., Systèmes d'exploitation (Ordinateurs), operating systems., Bluetooth technology., Cell phones., Information networks., Mobile communication systems., Mobile computing., Operating systems (Computers)
-
2
Authors: Miller, Damian L.
Subjects: Software engineering., Operating systems (Computers), Génie logiciel., Systèmes d'exploitation (Ordinateurs), operating systems., Operating systems (Computers), Software engineering.
Index Terms: reconfigurable systems, morphware, von Neumann, configware, operating system, data stream, Computer Science, Computer and Systems Architecture, Hardware Systems, Other Computer Engineering
-
3
Authors: Krodel, Jim.
Subjects: Operating systems (Computers), Avionics., Systèmes d'exploitation (Ordinateurs), Avionique., operating systems., Avionics, Operating systems (Computers)
URL:
http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-07-48.pdf http://worldcat.org/oclc/213707654/viewonline -
4
Authors: Krodel, Jim.
Subjects: Operating systems (Computers), Avionics., Systèmes d'exploitation (Ordinateurs), Avionique., operating systems., Avionics, Operating systems (Computers)
Index Terms: CD-ROMs.
URL:
http://worldcat.org/oclc/173668195/viewonline http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-07-39_ROSI-IMA.pdf http://actlibrary.tc.faa.gov/ -
5
Subjects: Operating systems (Computers) Government policy Connecticut., Public administration Data processing Government policy Connecticut., Government communication systems Government policy Connecticut., Information technology Government policy Connecticut., Systèmes d'exploitation (Ordinateurs) Politique gouvernementale Connecticut., Administration publique (Science) Informatique Politique gouvernementale Connecticut., Systèmes de télécommunications gouvernementales Politique gouvernementale Connecticut., Technologie de l'information Politique gouvernementale Connecticut., Information technology Government policy, Connecticut
-
6
Authors: Hickey, Thomas Butler
Subjects: Operating systems (Computers), Information storage and retrieval systems., Java (Computer program language), Library information networks Standards., Computer network protocols Standards., Systèmes d'exploitation (Ordinateurs), Systèmes d'information., Java (Langage de programmation), Réseaux de bibliothèques Normes., Protocoles de réseaux d'ordinateurs Normes., operating systems., information storage., information retrieval services., Computer network protocols Standards., Information storage and retrieval systems., Java (Computer program language), Library information networks Standards., Operating systems (Computers)
-
7
Additional Titles: Working paper / OCLC
Authors: Stephens, David.
Subjects: Windows (Computer programs), Graphical user interfaces (Computer systems), Operating systems (Computers), Fenêtres (Informatique), Interfaces graphiques (Informatique), Systèmes d'exploitation (Ordinateurs), operating systems., Graphical user interfaces (Computer systems), Operating systems (Computers), Windows (Computer programs)
-
8Dissertation/ Thesis
Authors: Ziadia, Marwa
Thesis Advisors: Mejri, Mohamed
Subject Terms: Systèmes d'exploitation (Ordinateurs), Téléphones intelligents., Sécurité informatique, Normes.
File Description: 1 ressource en ligne (xii,197 pages); application/pdf
Availability: https://hdl.handle.net/20.500.11794/101284
-
9Dissertation/ Thesis
Authors: Dejon, Nicolas
Contributors: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Université de Lille, Gilles Grimaud, Julien Cartigny
Source: https://theses.hal.science/tel-04093312 ; Embedded Systems. Université de Lille, 2022. English. ⟨NNT : 2022ULILB038⟩.
Subject Terms: Security-By-Design, Kernel, Memory Protection Unit, Constrained objects, Formal verification, Memory isolation, Systèmes d’exploitation (ordinateurs), Vérification formelle, Isolation mémoire, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: NNT: 2022ULILB038
-
10Dissertation/ Thesis
Authors: Dejon, Nicolas
Contributors: Université de Lille (2022-.), Grimaud, Gilles, Cartigny, Julien
Subject Terms: Isolation mémoire, Vérification formelle, Systèmes d’exploitation (ordinateurs), Memory isolation, Formal verification, Constrained objects, Memory Protection Unit, Kernel, Security-By-Design
Availability: http://www.theses.fr/2022ULILB038/document
-
11Dissertation/ Thesis
Authors: Dejon, Nicolas
Contributors: STAR, ABES
Subject Terms: Constrained objects, Systèmes d'exploitation (ordinateurs), Kernel, Formal verification, Memory isolation, Memory Protection Unit, Isolation mémoire, Security-By-Design, Vérification formelle, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
File Description: application/pdf
Access URL: https://theses.hal.science/tel-04093312v1
-
12Dissertation/ Thesis
Authors: El Hatib, Souad
Thesis Advisors: Desharnais, Josée, Tawbi, Nadia
Subject Terms: Google (Firme), Android (Système d'exploitation), Surveillance des menaces informatiques., Logiciels malveillants, Prévention., Systèmes d'exploitation (Ordinateurs), Apprentissage automatique., Applications mobiles.
File Description: 1 ressource en ligne (xi, 74 pages); application/pdf
Availability: https://hdl.handle.net/20.500.11794/66322
-
13Image
Authors: Falissard, Thierry. Auteur du texte
Source: Bibliothèque nationale de France, département Sciences et techniques, 16-D3 MON-1564, 1997.
Relation: Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb36185214g
Access URL: http://gallica.bnf.fr/ark:/12148/bpt6k3356513w
-
14
-
15
Additional Titles: Report ; no. UCB/CSD-83-146
Authors: Leffler, Samuel J.
Subjects: Operating systems (Computers) Handbooks, manuals, etc., Systèmes d'exploitation (Ordinateurs) Guides, manuels, etc., Operating systems (Computers)
Index Terms: Handbooks and manuals.
-
16
Additional Titles: 4.2bsd IPC primer
Report ; no. UCB/CSD-83-145Authors: Leffler, Samuel J.
Subjects: Operating systems (Computers) Handbooks, manuals, etc., Systèmes d'exploitation (Ordinateurs) Guides, manuels, etc., Operating systems (Computers)
Index Terms: Handbooks and manuals.
-
17Dissertation/ Thesis
Authors: Roussel, Kévin
Contributors: SIMulating and Building IOT (SIMBIOT), Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Lorraine, Ye-Qiong Song, Olivier Zendra
Source: https://hal.univ-lorraine.fr/tel-01754653 ; Autre [cs.OH]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0051⟩.
Subject Terms: MAC protocols, Radio Duty Cycle protocols, Quality of Service (QoS), Energy, Operating systems (OS), wireless sensor networks (WSN), Real-time, Réseaux de capteurs sans-fil (WSN), Systèmes d'exploitation (OS), Temps-réel, Protocoles MAC, Protocoles RDC,
"Radio Duty Cycle", Qualité de service (QdS), Énergie, Réseaux de capteurs (technologie), Systèmes d'exploitation (ordinateurs), Temps réel (informatique), Protocoles de réseaux d'ordinateurs, Qualité de Service (télécommunications), [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] Relation: NNT: 2016LORR0051
-
18Dissertation/ Thesis
Authors: XIA, Tian
Contributors: Institut d'Électronique et des Technologies du numéRique (IETR), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES), INSA Rennes, Université Bretagne Loire, Fabienne Nouvel, Jean-Christophe Prévotet
Source: https://hal.archives-ouvertes.fr/tel-01905886 ; Embedded Systems. INSA Rennes; Université Bretagne Loire, 2016. English. ⟨NNT : 2016ISAR0009⟩.
Subject Terms: embedded system, real-time system, FPGA, reconfiguration, virtulization, real-time scheduling, Virtualisation, Systèmes temps-réel, Systèmes virtuels (informatique), Temps réel (informatique), Reconfiguration ( informatique), Systèmes d'exploitation (ordinateurs), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [SPI.TRON]Engineering Sciences [physics]/Electronics
Relation: NNT: 2016ISAR0009; tel-01905886; https://hal.archives-ouvertes.fr/tel-01905886; https://hal.archives-ouvertes.fr/tel-01905886/document; https://hal.archives-ouvertes.fr/tel-01905886/file/these.pdf
-
19Academic Journal
Authors: Carmel-Veilleux, Tenessee
Subject Terms: PowerPC (Microprocesseurs), Systèmes d'exploitation (Ordinateurs), Systèmes enfouis (Informatique), Avionique, Adaptation, Architecture, Freescale, IMA, MPC8641, Multicoeur, Noyau, Partitionnement, Processeur, Robuste, XtratuM, XtratuM-PPC, Embarqué
File Description: application/pdf
Relation: https://espace.etsmtl.ca/id/eprint/924/1/CARMEL-VEILLEUX_Tennessee.pdf; https://espace.etsmtl.ca/id/eprint/924/2/CARMEL-VEILLEUX_Tennessee-web.pdf; Carmel-Veilleux, Tenessee (2011). Adaptation multicoeur d'un noyau de partitionnement robuste vers l'architecture PowerPC. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.
Availability: https://espace.etsmtl.ca/id/eprint/924/
-
20
Subject Terms: Virus informatiques Systèmes d'exploitation (ordinateurs)
Availability: http://www.scd.inpl-nancy.fr/theses/2008_KACZMAREK_M.pdf