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