Treffer 101 - 120 von 127

101

Modeling and Verification of Real-Time Embedded Systems
Mustapha Bourahla
Electronic Workshops in Computing.

Automaton Model checking Runtime Verification Formalism (music) 02 engineering and techn... Real-time computing
Fachzeitschrift
Zu den Favoriten
102

An Efficient Method for Generating Optimal OBDD of Boolean Functions
Ashutosh Kumar Singh ; Anand Mohan
Computer and Information Science. 1

0106 biological sciences Table (database) Geometry Structural engineering Evolutionary biology Node (physics)
Fachzeitschrift
Zu den Favoriten
103

A Component-Oriented Programming for Embedded Mobile Robot Software
Dayang N. A. Jawawi ; Rosbi Mamat ; Safaai Deris
International Journal of Advanced Robotic Systems, Vol 4, Iss 3 (2008)
International Journal of Advanced Robotic Systems, Vol 4 (2007)
International Journal of Advanced Robotic Systems

autonomous mobile robots 0209 industrial biotechn... TK7800-8360 Component (thermodynamic... Reuse 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
104

Test Generation for Duration Systems
Saddek Bensalem ; Moez Krichen ; Lotfi Majdoub ; et al.
Electronic Workshops in Computing.

Extension (predicate log... 4. Education Reconfigurable Computing... Computer science 7. Clean energy Graph
Fachzeitschrift
Zu den Favoriten
105

Fine-Grained Overhead Characterisation of Cross-ISA DBTO for Multicore Processor
J. E. H. Ooi ; Fawnizu Azmadi Hussin ; Mohd. Nordin Zakaria
Indonesian Journal of Electrical Engineering and Computer Science. 10:1036

Parallel computing Thread (computing) Computer Networks and Co... Economics Dynamic Reconfiguration Multicore Architectures
Fachzeitschrift
Zu den Favoriten
106

Bi-objective Scheduling with cooperating Heuristics for Embedded Real-Time Systems
Sonia Sabrina Bendib ; Hamoudi Kalla ; Salim Kalla
Indonesian Journal of Electrical Engineering and Computer Science. 9:789

Artificial intelligence Dynamic priority schedul... 0211 other engineering a... Set (abstract data type) Heuristic 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
107

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Carlos Olarte ; Camilo Rueda
CLEI Electronic Journal, Vol 9, Iss 2 (2006)

0301 basic medicine Artificial intelligence Geometry Temporal logic 0102 computer and inform... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
108

On the Vectorization of FIR Filterbanks
Jayme Garcia Arnal Barbedo ; Amauri Lopes
EURASIP Journal on Advances in Signal Processing, Vol 2007, Iss 1, p 091741 (2007)
EURASIP Journal on Advances in Signal Processing, Vol 2007 (2007)

Parallel computing TK7800-8360 TK5101-6720 02 engineering and techn... FIR Filters Filter (signal processin...
Fachzeitschrift
Zu den Favoriten
109

Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow
Antonio Mendes da Silva Filho ; Ivanilton Polato
Acta Scientiarum. Technology. 27

Parallel computing Component (thermodynamic... Reuse 02 engineering and techn... Mathematical analysis Context (archaeology)
Fachzeitschrift
Zu den Favoriten
110

A Logic to Specify and Verify Synchronous Transitions
Vanderlei Moraes Rodrigues ; Flávio Rech Wagner
Electronic Workshops in Computing.

Mathematical proof Runtime Verification Formalism (music) Geometry Temporal logic Visual arts
Fachzeitschrift
Zu den Favoriten
111

A Customized Reconfiguration Controller with Remote Direct ICAP Access for Dynamically Reconfigurable Platform
Tze Hon Tan ; Chia Yee Ooi ; M. N. Marsono
TELKOMNIKA (Telecommunication Computing Electronics and Control). 15:570

Computer Networks and Co... Dynamic Reconfiguration Controller (irrigation) 02 engineering and techn... Reconfigurable Computing... Control reconfiguration
Fachzeitschrift
Zu den Favoriten
112

RTL validation methodology on high complexity wireless microcontroller using OVM technique for fast time to market
N. Z. Muhammad ; A. Harun ; N. A. M. Ahmad Hambali ; et al.
EPJ Web of Conferences, Vol 162, p 01068 (2017)

Microcontroller QC1-999 Runtime Verification System-Level Design Intelligent verification Time to market
Fachzeitschrift
Zu den Favoriten
113

On-chip temperature-based digital signal processing for customized wireless microcontroller
Azizi Harun ; S. N. Mohyar ; Asral Bahari Jambek ; et al.
EPJ Web of Conferences, Vol 162, p 01071 (2017)

Microcontroller QC1-999 Biomedical Engineering Chip System-Level Design FOS: Medical engineering
Fachzeitschrift
Zu den Favoriten
114

Speed and area analysis on hierarchy multiplier
Moon Cheng Wong ; Razaidi Hussin
EPJ Web of Conferences, Vol 162, p 01067 (2017)

Economics QC1-999 Macroeconomics FOS: Mechanical engineer... 02 engineering and techn... Gas compressor
Fachzeitschrift
Zu den Favoriten
115

Architectural design proposal for real time clock for wireless microcontroller unit
Muhammad Nor Azwan Mohd Alias ; S. N. Mohyar
EPJ Web of Conferences, Vol 162, p 01072 (2017)

Wireless Home Automation... Microcontroller QC1-999 Jitter 01 natural sciences 7. Clean energy
Fachzeitschrift
Zu den Favoriten
116

Design and analysis of microcontroller system using AMBA-Lite bus
Asral Bahari Jambek ; Wang Hang Suan
EPJ Web of Conferences, Vol 162, p 01070 (2017)

Wireless Home Automation... Microcontroller QC1-999 Chip ARM architecture Visual arts
Fachzeitschrift
Zu den Favoriten
117

Adaptive-delay based reconfigurable asynchronous pipeline
Adnan Ghafoor ; Abid Ali Khan

Computer network Process Variation Computer Networks and Co... Dynamic Reconfiguration Low-Power VLSI Circuit D... Reconfigurable Computing...
Zu den Favoriten
118

Diseño e Implementación de un Multiprocessor Systems-on-Chip (MPSoC) Interconectado por una Networks-on-Chip (NoC)
Verdezoto Dávalos, Daniel Gonzalo ; Chicaiza Casa, Wilson Mauricio
Maskay, Vol 3, Iss 1, Pp 40-48 (2013)

Computer Networks and Co... Networks on Chip MPSoC buses Multicore Architectures Humanities
Fachzeitschrift
Zu den Favoriten
119

Diseño de Hardware y Software de Systems on Chip empleando tecnología Xilinx EDK
Julio Cadena ; Gabriel Mollocana ; H. D. Ortiz ; et al.
Maskay, Vol 2, Iss 1, Pp 39-48 (2012)

RTOS Platform-Based Design sistemas embebidos System-Level Design FOS: Humanities QA75.5-76.95
Fachzeitschrift
Zu den Favoriten
120

A proposal for an educational system service to support teaching/learning process for logic programming
Eric Rommel Galvão Dantas ; Ryan Ribeiro de Azevedo ; Cleyton Mário de Oliveira Rodrigues ; et al.
2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T). :556-556

Educational Robotics Economics Tangible Interfaces 02 engineering and techn... Computational Thinking i... Focus group
Fachzeitschrift
Zu den Favoriten

Filter