.NET (16) · 32 bit microcontroller (15) · abstraction (18) · accelerometer (17) · Android (27) · Android application (24) · ARM (27) · ARM Cortex (18) · ARM microcontroller (33) · artifical intelligence (22) · artificial intelligence (35) · audio signal processing (16) · Automotive (24) · automotive embedded system (22) · automotive industry (27) · AUTOSAR (43) · blockchain (31) · Bluetooth (16) · Bluetooth Low Energy (17) · C# (23) · C/C++ (18) · CAN (33) · CAN Bus (28) · CAN communication (17) · CEGAR (20) · clock synchronization (21) · cloud computing (17) · code generation (30) · complex event processing (15) · computer vision (21) · convolutional neural network (26) · cyber-physical systems (32) · data analysis (25) · data visualization (17) · deep learning (43) · Deep Neural Networks (20) · Digital Signal Processing (43) · ECG (14) · Eclipse (30) · Eclipse Modeling Framework (15) · Eclipse plugin (14) · embedded Linux (23) · embedded software (24) · embedded software development (16) · embedded system (75) · embedded systems (29) · EMF (20) · EMF-IncQuery (29) · Ethernet (33) · formal methods (14) · formal verification (54) · FPGA (129) · framework (14) · freertos (18) · GPGPU (15) · graph pattern matching (15) · hardware design (22) · Hyperledger Fabric (15) · IEEE 1588 (16) · image processing (48) · Internet of Things (20) · Java (29) · Kubernetes (15) · LabVIEW (33) · Linux (30) · machine learning (64) · Matlab (38) · medical image processing (19) · microcontroller (83) · model based systems engineering (15) · model checking (51) · model transformation (13) · model-driven development (17) · monitoring (18) · natural language processing (19) · neural network (25) · neural networks (19) · object detection (17) · ontology (19) · optimization (15) · PCB design (25) · Python (47) · Raspberry PI (20) · reinforcement learning (19) · Runtime verification (18) · signal processing (15) · simulation (24) · smart home (18) · software testing (33) · SysML (14) · TCP/IP (16) · test generation (21) · testing (52) · Theta (15) · validation (20) · verification (22) · Verilog (14) · wireless communication (14) · Xilinx (26) · Xtext (19)
2246 theses in total. View all theses »