Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Jörg Brauer, Thomas Noll 0001, Bastian Schlich |
Interval analysis of microcontroller code using abstract interpretation of hardware and software. |
SCOPES |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Wael M. El-Medany, Alauddin Alomary, Reyadh Al-Hakim, Sufyan Al-Irhayim, Mustafa Nousif |
Implementation of GPRS-Based Positioning System Using PIC Microcontroller. |
CICSyN |
2010 |
DBLP DOI BibTeX RDF |
GPS, ITS, GPRS, Positioning System, PIC |
14 | Jim Ras, Albert M. K. Cheng |
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Brauer, Andy King, Stefan Kowalewski |
Range Analysis of Microcontroller Code Using Bit-Level Congruences. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | KwanSun Choi, Saeron Han, Sunghwan Kim, Jongsik Lim, Dongsik Kim, Changwan Jeon, Sunheum Lee, YeonSan Woo, Heunggu Jeon |
Implementation of a Web-based Remote Laboratory for 80196KC Microcontroller. |
FECS |
2010 |
DBLP BibTeX RDF |
|
14 | Christoph Osterloh, Erik Maehle |
Low-Power Microcontroller-based Acoustic Modem for Underwater Robot Communication. |
ISR/ROBOTIK |
2010 |
DBLP BibTeX RDF |
|
14 | Raees Siddiqui, Roger I. Grosvenor, Paul W. Prickett |
An Overview of a Microcontroller-Based Approach to Intelligent Machine Tool Monitoring. |
KES (2) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Rajesh Kannan Megalingam, Ashwin Mohan, Shekhil Hassan Thavalengal, Tanmay Muralidhar Rao, Vivek Periye |
Low Power Single Core CPU for a Dual Core Microcontroller. |
ICETET |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Gaytri Gupta |
Microcontroller Based Monitoring and Control of Greenhouse Enivironment. |
ICT |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Sherif T. Eid, Morgan Whately, Sandeep Krishnegowda |
A microcontroller-based PVT control system for a 65nm 72Mb synchronous SRAM. |
ISSCC |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Spencer S. Kellis, Nathaniel Gaskin, Bennion Redd, Jeff Campbell, Richard Brown 0003 |
Energy profile of a microcontroller for neural prosthetic application. |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed N. Hassan, Mohammed Benaissa |
A scalable hardware/software co-design for elliptic curve cryptography on PicoBlaze microcontroller. |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Claudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann |
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Akin Cellatoglu, Balasubramanian Karuppanan |
Embedded Microcontroller for Performance Analysis of Mechatronic Devices. |
ESA |
2010 |
DBLP BibTeX RDF |
|
14 | Trupti Agarkar, Mukesh Patil, Tahir Khan |
Design and development of microcontroller based data acquisition system with ethernet communication for nuclear power plants. |
ICWET |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Pierre Leca, Nicolas Froidevaux, Henri Braquet, Gilles Jacquemod |
EMI modeling of a 32-bit microcontroller in Wait Mode. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Käbisch, Daniel Peintner, Jörg Heuer, Harald Kosch |
Efficient and Flexible XML-Based Data-Exchange in Microcontroller-Based Sensor Actor Networks. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Leonardo Acho Zuppa |
Chaotic logistic map implementation in the PIC12F629 microcontroller unit. |
PDeS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Joyce Kwong, Yogesh K. Ramadass, Naveen Verma, Anantha P. Chandrakasan |
A 65 nm Sub-Vt Microcontroller With Integrated SRAM and Switched Capacitor DC-DC Converter. |
IEEE J. Solid State Circuits |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Brauer, Bastian Schlich, Stefan Kowalewski |
Parallel and Distributed Invariant Checking of Microcontroller Software. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Marcos R. Frankowiak, Roger I. Grosvenor, Paul W. Prickett |
Microcontroller-Based Process Monitoring Using Petri-Nets. |
EURASIP J. Embed. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ali Buldu, Hayriye Korkmaz |
A USB kit for digital I/O applications in a digital electronics lab designed by using PIC16C765 microcontroller. |
Comput. Appl. Eng. Educ. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Iman Firmansyah, Zaenal Akbar, Laksana Tri Handoko |
Microcontroller based distributed and networked control system for public cluster |
CoRR |
2009 |
DBLP BibTeX RDF |
|
14 | Jean-Baptiste Gros, Geneviève Duchamp, Alain Meresse, Jean-Luc Levant |
Electromagnetic immunity model of an ADC for microcontroller's reliability improvement. |
Microelectron. Reliab. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Steven F. Barrett |
Embedded Systems Design with the Atmel AVR Microcontroller: Part II |
|
2009 |
DOI RDF |
|
14 | Steven F. Barrett |
Embedded Systems Design with the Atmel AVR Microcontroller: Part I |
|
2009 |
DOI RDF |
|
14 | Douglas H. Summerville |
Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller II: Digital and Analog Hardware Interfacing |
|
2009 |
DOI RDF |
|
14 | Douglas H. Summerville |
Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller I: Assembly Language Programming |
|
2009 |
DOI RDF |
|
14 | Kristoffer Nyborg Gregertsen, Amund Skavhaug |
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Patrice Joubert Doriol, Yamarita Villavicencio, Cristiano Forzan, Mario Rotigni, Giovanni Graziosi, Davide Pandini |
EMC-aware design on a microcontroller for automotive applications. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Dusko Lukac, Lejla Banjanovic-Mehmedovic |
Realization of the action-oriented education approach by programming a microcontroller steered mobile robot. |
ICAT |
2009 |
DBLP DOI BibTeX RDF |
|
14 | KwanSun Choi, Saeron Han, Sunghwan Kim, Dongsik Kim, Jongsik Lim, Dal Ahn, Changwan Jeon |
A Combined Virtual and Remote Laboratory for Microcontroller. |
ICHL |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Daniel T. Iercan, Lucian-Ovidiu Fedorovici |
Porting Hierarchical Timing Language on a microcontroller based platform. |
SACI |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Özcan Varul, Melih Inal |
Programming and applying of the multiple product distribution system by using PIC 16F877A microcontroller. |
CompSysTech |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Alexander T. Ishii, Jerry C. Kao, Visvesh S. Sathe 0001, Marios C. Papaefthymiou |
A resonant-clock 200MHz ARM926EJ-STM microcontroller. |
ESSCIRC |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Lei Lei Yin Win, Phyu Hnin Khaing, Maung Maung Latt |
Design Considerations for Microcontroller Based Process Control for Washing Machine. |
ICDIP |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Zachary K. Baker, Joshua S. Monson |
In-situ FPGA Debug Driven by On-Board Microcontroller. |
FCCM |
2009 |
DBLP DOI BibTeX RDF |
Extreme Environments, FPGA, Debugging, Space, JTAG |
14 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich |
Refining assembly code static analysis for the Intel MCS-51 microcontroller. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
Stack bounds analysis for microcontroller assembly code. |
WESS |
2009 |
DBLP DOI BibTeX RDF |
model checking, verification, static analysis, embedded software, assembly code |
14 | Ashkan Eghbal, Hamid R. Zarandi, Pooria M. Yaghini |
Fault tolerance assessment of PIC microcontroller based on fault injection. |
LATW |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Murali Krishna Telaprolu, Kondagunturi Varun, S. Narasimha Rao, V. Varun Sarma, E. K. Ratnakanth, Vinay Banda |
Microcontroller based automation of variable electronic speed governor. |
ICVES |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Klaus-Dietrich Kramer, Thomas Stolze, Thomas Banse |
Benchmarks to Find the Optimal Microcontroller-Architecture. |
CSIE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | R. A. Siddiqui, Roger I. Grosvenor, Paul W. Prickett |
An embedded microcontroller-based milling process management system. |
INDIN |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Bünyamin Ciylan |
Termoelektrik modüller için mikrodenetleyici kontrollü yeni bir test sisteminin tasarımı ve gerçekleştirilmesi (Design and implementation of a novel microcontroller based test system for thermoelectric modules) |
|
2009 |
RDF |
|
14 | Jaeho Lee, Hyunsu Bae, Bo-Hyung Cho |
Resistive Control for a Photovoltaic Battery Charging System Using a Microcontroller. |
IEEE Trans. Ind. Electron. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tamnun E. Mursalin, Fajrana Zebin Eishita, Ahmed Ridwanul Islam, Md. Jahangir Alam |
Real Time Automated Fabric Defect Detection System using Microcontroller. |
J. Convergence Inf. Technol. |
2008 |
DBLP BibTeX RDF |
|
14 | Ernesto Mininno, Francesco Cupertino, David Naso |
Real-Valued Compact Genetic Algorithms for Embedded Microcontroller Optimization. |
IEEE Trans. Evol. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Iman Firmansyah, Zaenal Akbar, Bambang Hermanto, Laksana Tri Handoko |
Microcontroller-based System for Modular Networked Robot |
CoRR |
2008 |
DBLP BibTeX RDF |
|
14 | Mohamed Fezari, Mounir Bousbia-Salah |
A Heart Rate Control System Based on a Microcontroller. |
Int. Arab J. Inf. Technol. |
2008 |
DBLP BibTeX RDF |
|
14 | Nadeem Abdul Hamid |
Certified code development for a microcontroller architecture. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, proof-carrying code |
14 | Xiaoyang Gao, Yang Bi, Lili Zhang, Jingjing Chen, Jianmin Yun |
The Temperature Fuzzy Control System of Barleythe Malt Drying Based on Microcontroller. |
CCTA (1) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wugang Tian, Mengchun Pan, Feilu Luo, Song Jianbin, Dixiang Chen |
An Embedded System for Borescope and Eddy Current Dual Nondestructive Testing Based on ARM Microcontroller. |
ICESS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Grayson Himunzowa |
Investigations into Implementation of an Iterative Feedback Tuning Algorithm into Microcontroller. |
SCSS (2) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Leonardo Zane Vilhegas, Adir José Moreira, Ronaldo Domingues Mansano |
Compact Pulse Oximeter Using PIC18F4550 Microcontroller. |
BIODEVICES (1) |
2008 |
DBLP BibTeX RDF |
|
14 | Joyce Kwong, Yogesh K. Ramadass, Naveen Verma, Markus Koesler, Korbinian Huber, Hans Moormann, Anantha P. Chandrakasan |
A 65nm Sub-Vt Microcontroller with Integrated SRAM and Switched-Capacitor DC-DC Converter. |
ISSCC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | P. V. Rao, S. SriPathi, Chandramouli Srinivas, Raju Hajare, Madhusudhana Rao Ganji |
Controlling Multiple Motors Using a Single Microcontroller. |
IC-AI |
2008 |
DBLP BibTeX RDF |
|
14 | Nathan Cooprider |
Data-Flow Analysis for Interrupt-Driven Microcontroller Software. |
|
2008 |
RDF |
|
14 | Mohammad Manea Alyami |
Microcontroller-based transient signal analysis and distributed system for intelligent process monitoring. |
|
2008 |
RDF |
|
14 | Sergio Saponara, Luca Fanucci, Pierangelo Terreni |
Architectural-Level Power Optimization of Microcontroller Cores in Embedded Systems. |
IEEE Trans. Ind. Electron. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Christian Schott, Robert Racz, Angelo Manco, Nicolas Simonne |
CMOS Single-Chip Electronic Compass With Microcontroller. |
IEEE J. Solid State Circuits |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Andò |
A Microcontroller-Based Architecture to Reduce Gravimeter Output for the Effect of Meteorological Parameters. |
IEEE Trans. Instrum. Meas. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Waldemar G. Kürten Ihlenfeld, Enrico Mohns, M. Serra, Kristian Dauke, Andreas Suchy |
Quasi-Synchronous Microcontroller-Based Highly Accurate Digital Sampling of AC Signals. |
IEEE Trans. Instrum. Meas. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ferran Reverter, Manel Gasulla, Ramon Pallàs-Areny |
Analysis of Power-Supply Interference Effects on Direct Sensor-to-Microcontroller Interfaces. |
IEEE Trans. Instrum. Meas. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Khairurrijal, Muhammad Miftahul Munir, Asep Suhendi, Hendrayana Thaha, Maman Budiman |
An AT89S52 microcontroller-based single board computer for teaching an instrumentation system course. |
Comput. Appl. Eng. Educ. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Steven F. Barrett, Daniel J. Pack |
Atmel AVR Microcontroller Primer: Programming and Interfacing |
|
2007 |
DOI RDF |
|
14 | Rafic Bachnak, Ramya Chakinarapu, Mario Garcia, Dulal Kar |
Programming a microcontroller for data capture and display. |
SEDE |
2007 |
DBLP BibTeX RDF |
|
14 | Christian Schott, Robert Racz, Samuel Huber, Angelo Manco, Markus Gloor, Nicolas Simonne |
A CMOS Single-Chip Electronic Compass with Microcontroller. |
ISSCC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Riccardo Mariani, Peter Fuhrmann |
Comparing fail-safe microcontroller architectures in light of IEC 61508. |
DFT |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Huangsheng Xu, Kevin King, Yashvant Jani |
High Performance DC Chopper Speed and Current Control of Universal Motors Using a Microcontroller. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yashvant Jani |
Combining Vector Control and User Interface/Machine Functions into a Single Microcontroller for White Goods Applications. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Bianchi, Massimo Valiani |
DSP-Based versus Microcontroller-Based Variable Frequency Drives for Domestic Washing Machines. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | J. Z. Yi, Y. K. Tan, Z. R. Ang, S. K. Panda |
Microcontroller based voice-activated powered wheelchair control. |
i-CREATe |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hirotaka Koizumi, Tamaki Mizuno, Takashi Kaito, Yukihisa Noda, Norio Goshima, Manabu Kawasaki, Ken Nagasaka, Kosuke Kurokawa |
A Novel Microcontroller for Grid-Connected Photovoltaic Systems. |
IEEE Trans. Ind. Electron. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Hyouk-Kyu Cha, Ilhyun Yun, Jinbong Kim, Byeong-Cheol So, Kanghyup Chun, Ilku Nam, Kwyro Lee |
A 32-KB Standard CMOS Antifuse One-Time Programmable ROM Embedded in a 16-bit Microcontroller. |
IEEE J. Solid State Circuits |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yasuo Sugure, Seiji Takeuchi, Yuichi Abe, Hiromichi Yamada, Kazuya Hirayanagi, Akihiko Tomita, Kesami Hagiwara, Takeshi Kataoka, Takanori Shimura |
Low-Latency Superscalar and Small-Code-Size Microcontroller Core for Automotive, Industrial, and PC-Peripheral Applications. |
IEICE Trans. Electron. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Mireia Gilibert, Jordi Picazo, Michael E. Auer, Andreas Pester, Jordi Cusidó, Juan Antonio Ortega Redondo |
80C537 Microcontroller Remote Lab for E-Learning Teaching. |
Int. J. Online Eng. |
2006 |
DBLP BibTeX RDF |
|
14 | Philippe Manet, Renaud Ambroise, David Bol, Marc Baltus, Jean-Didier Legat |
Low Power Techniques Applied to a 80C51 Microcontroller for High Temperature Applications. |
J. Low Power Electron. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Douglas Mota Dias, Marco Aurélio Cavalcanti Pacheco, José F. M. do Amaral |
Automatic Synthesis of Microcontroller Assembly Code Through Linear Genetic Programming. |
Genetic Systems Programming |
2006 |
DBLP DOI BibTeX RDF |
|
14 | William S. Johnston, Yitzhak Mendelson |
Investigation of Signal Processing Algorithms for an Embedded Microcontroller-Based Wearable Pulse Oximeter. |
EMBC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | José Manuel Rodríguez Ascariz, Luciano Boquete |
Multifunction System Based on a State-of-the-Art Microcontroller. |
WEBIST (2) |
2006 |
DBLP BibTeX RDF |
|
14 | Nicoletta Adamo-Villani, Jeffrey Richardson, Edward Carpenter, George Moore |
A photorealistic 3d virtual laboratory for undergraduate instruction in microcontroller technology. |
SIGGRAPH Educators Program |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Chee-Seng Leong, Bok-Min Goi |
Smart Home Microcontroller: Telephone Interfacing. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
DTMF, embedded systems and home-network applications, automation, Smart home |
14 | Moi-Tin Chew, Gourab Sen Gupta, Subhas Mukhopadhyay, Tracey Kah-Mein Lee |
Developing an Effective Microcontroller Course Based on Field-Programmable Mixed-Signal µ-Controller Product. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Anwar Bashir |
Developing manufacturing control applications with microcontroller based internet connectivity. |
|
2006 |
RDF |
|
14 | Seung-Min Jung, Jin-Moon Nam, Dong-Hoon Yang, Moon-Key Lee |
A CMOS integrated capacitive fingerprint sensor with 32-bit RISC microcontroller. |
IEEE J. Solid State Circuits |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paul Frenger |
Tina: an improbable 3-pin microcontroller. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shailendra Jain, Pramod Agarwal, H. O. Gupta |
A Dedicated Microcontroller based Fuzzy Controlled Shunt Active Power Filter. |
Intell. Autom. Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bettina Weiss, Günther Gridling, Markus Proske |
A case study in efficient microcontroller education. |
SIGBED Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Luca Fanucci, Sergio Saponara, Alexander Morello |
Power Optimization of an 8051-Compliant IP Microcontroller. |
IEICE Trans. Electron. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sheng-Jen Hsieh 0001, Sung-Ling Huang |
A methodology for microcontroller signal frequency stress prediction. |
Microelectron. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Uwe Brinkschulte, Sascha Uhrig, Theo Ungerer |
Der mehrfädige Komodo-Mikrocontroller (The Multithreaded Komodo Microcontroller). |
it Inf. Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Guolin Xu, Francis Eng Hock Tay, Ciprian Iliescu, Victor Samper |
Multi-Channel Biotelemetry System Using Microcontroller with Uhf Transmit Function. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Mohammed Rafiq Uddin, Gazi Maeen-Ur-Rashid, Md. Shahidul Islam |
Microcontroller Based Light Control. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sid Katzen |
The Quintessential PIC® Microcontroller, Second Edition |
|
2005 |
RDF |
|
14 | Tobias Schubert 0001, Bernd Becker 0001 |
Lemma Exchange in a Microcontroller Based Parallel SAT Solver. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Emine Dogru Bolat, Kadir Erkan, Seda Postalcioglu |
Implementation of Microcontroller Based Temperature Control Using Autotuning PID Methods. |
IICAI |
2005 |
DBLP BibTeX RDF |
|
14 | Sarah L. Harris, David Money Harris |
Inexpensive Student-Assembled FPGA/Microcontroller Board. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Robert M. Senger, Eric D. Marsman, Michael S. McCorquodale |
A 16-bit low-power microcontroller with monolithic MEMS-LC clocking. |
ISCAS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Schubert 0001, Bernd Becker 0001 |
Knowledge Sharing in a Microcontroller based Parallel SAT Solver. |
PDPTA |
2005 |
DBLP BibTeX RDF |
|
14 | Teerapat Chinapirom, Ulf Witkowski, Ulrich Rückert 0001 |
Universal FPGA-Microcontroller Module for Autonomous Minirobots. |
AMiRE |
2005 |
DBLP BibTeX RDF |
|