| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kai Qian, Chia-Tien Dan Lo, Xiaolin Hu |
Portable labs in a box for embedded system education.  |
ITiCSE  |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, education, mcu |
| 1 | Jun Liu, Yong-qiang Chen, Ming-xin Yang |
Intelligent Firearms Management System Design. |
APWCS |
2010 |
DBLP DOI BibTeX RDF |
Gun control, mifare cards, RF cards, GSM, VPN, ARM, MCU |
| 1 | Kai Qian, Jigang Liu, Lixin Tao |
Teach real-time embedded system online with real hands-on labs. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
real time, embedded, portable, engineering, MCU |
| 1 | Satoru Tokuhisa, Takaaki Ishizawa, Yoshimasa Niwa, Kenji Kasuya, Atsuro Ueki, Sho Hashimoto, Kazuhiko Koriyama, Masa Inakage |
xtel: a development environment to support rapid prototyping of "ubiquitous content". |
Tangible and Embedded Interaction |
2009 |
DBLP DOI BibTeX RDF |
ubiquitous computing, prototyping, P2P, VM, MCU |
| 1 | Nan Xie, Haibo Zhang, Shenyong Gao, Yan Ma, Weimin Chen |
Development of Online Measuring Instrument for Water-in-Oil percentage Based on MCU. |
IFITA |
2009 |
DBLP DOI BibTeX RDF |
water-in-oil percentage, XE2004, capacitance to voltage convention, online measurement, MCU |
| 1 | Olivier Teytaud |
Slightly Beyond Turing's Computability for Studying Genetic Programming. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Yunès |
Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4n-Steps Solution. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita, Yoshikazu Yamaguchi |
A Universal Reversible Turing Machine. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
universal Turing machine, cyclic tag system, reversible computing |
| 1 | Jérôme Olivier Durand-Lose, Maurice Margenstern (eds.) |
Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings |
MCU |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi |
Planar Trivalent Network Computation. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
Digital physics, trivalent network, complexity indicator, two-dimensional Turing machine, turmite, emergent space, cellular automata |
| 1 | Hidenosuke Nishio |
Changing the Neighborhood of Cellular Automata. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
reversi- bility, simulator, cellular automaton, neighborhood, decision problem |
| 1 | Olivier Bournez, Emmanuel Hainry |
On the Computational Capabilities of Several Models. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Mráz, Friedrich Otto, Martin Plátek |
Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Lameiras Campagnolo, Kerry Ojakian |
Using Approximation to Relate Computational Classes over the Reals. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Martin Kutrib |
More on the Size of Higman-Haines Sets: Effective Constructions. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Kari |
The Tiling Problem Revisited (Extended Abstract). |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Castellanos, Florin Manea, Luis Fernando de Mingo López, Victor Mitrana |
Accepting Networks of Splicing Processors with Filtered Connections. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Umeo, Takashi Yanagihara |
A Smallest Five-State Solution to the Firing Squad Synchronization Problem. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Mario J. Pérez-Jiménez |
Uniform Solution of. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothea Baumeister, Jörg Rothe |
Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
rotation puzzle, tiling of the plane, parsimonious reduction, computational complexity, counting problem |
| 1 | Artiom Matveevici, Yurii Rogozhin, Sergey Verlan |
Insertion-Deletion Systems with One-Sided Contexts. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
insertion-deletion systems, computational non-completeness, universality |
| 1 | K. G. Subramanian |
P Systems and Picture Languages. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan |
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
computational completeness, halting, minimal parallelism, permitting context, P systems |
| 1 | Mark Burgin |
Universality, Reducibility, and Completeness. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
problem completeness, algorithm, computability, reducibility, universal, computing power, problem hardness |
| 1 | Damien Woods, Turlough Neary |
Small Semi-weakly Universal Turing Machines. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liesbeth De Mol |
Study of Limits of Solvability in Tag Systems. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
Limits of solvability, Reachability problem, Tag Systems, Halting Problem |
| 1 | Andrew Adamatzky |
Encapsulating Reaction-Diffusion Computers. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Bianca Truthe |
On the Power of Networks of Evolutionary Processors. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel David Hamkins |
A Survey of Infinite Time Turing Machines. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Koiran |
Decision Versus Evaluation in Algebraic Complexity. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
Blum-Shub-Smale model, Valiant’s model, computational complexity, algebraic complexity |
| 1 | John Fisher, Marc Bezem |
Query Completeness of Skolem Machine Computations. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
A Simple P-Complete Problem and Its Representations by Language Equations. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Turlough Neary, Damien Woods |
Four Small Universal Turing Machines. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Margenstern (eds.) |
Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers |
MCU |
2005 |
DBLP BibTeX RDF |
|
| 1 | Klaus W. Wagner |
Leaf Language Classes. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Register Complexity of LOOP-, WHILE-, and GOTO-Programs. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Neraud |
Completing a Code in a Regular Submonoid of the Free Monoid. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | René Schott, Jean-Claude Spehner |
On the Minimal Automaton of the Shuffle of Words and Araucarias. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
Universal Families of Reversible P Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Colmerauer |
On the Complexity of Universal Programs. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Finite Sets of Words and Computing. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron |
Sequential P Systems with Unit Rules and Energy Assigned to Membranes. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude |
Algorithmic Randomness, Quantum Physics, and Incompleteness. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Manea, Carlos Martín-Vide, Victor Mitrana |
Solving 3CNF-SAT and HPP in Linear Time Using WWW. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Emmanuel Hainry |
Real Recursive Functions and Real Extensions of Recursive Functions. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Mycka, José Félix Costa |
The Computational Power of Continuous Dynamic Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel |
Computational Universality in Symbolic Dynamical Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario J. Pérez-Jiménez, Francisco José Romero-Campero |
Attacking the Common Algorithmic Problem by Recognizer P Systems. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cavaliere, Peter Leupold |
Evolution and Observation: A Non-standard Way to Accept Formal Languages. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Cattaneo, Alberto Dennunzio |
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Durand-Lose |
Abstract Geometrical Computation for Black Hole Computation. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone |
Computing with a Distributed Reaction-Diffusion Model. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
On Computational Universality in Language Equations. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Rudolf Freund, Gheorghe Paun |
Computational Completeness of P Systems with Active Membranes and Two Polarizations. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Sutner |
Universality and Cellular Automata. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu |
Hierarchies of DLOGTIME-Uniform Circuits. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giusi Castiglione, Antonio Restivo |
Ordering and Convex Polyominoes. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kellie Michele Evans |
Is Bosco's Rule Universal? |
MCU |
2004 |
DBLP DOI BibTeX RDF |
gliders, Larger than Life, sliding block memory, spaceships, cellular automata, universal, bugs, register, Game of Life |
| 1 | Hiroshi Umeo, Masaya Hisaoka, Masato Teraoka, Masashi Maeda |
Several New Generalized Linear- and Optimum-Time Synchronization Algorithms for Two-Dimensional Rectangular Arrays. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato |
Classification and Universality of Reversible Logic Elements with One-Bit Memory. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Géraud Sénizergues |
Some Applications of the Decidability of DPDA's Equivalence. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Zandron, Claudio Ferretti, Giancarlo Mauri |
Two Normal Forms for Rewriting P Systems. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Freund, Gheorghe Paun |
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib |
Efficient Universal Pushdown Cellular Automata and Their Application to Complexity. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Baiocchi |
Three Small Universal Turing Machines. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent D. Blondel, Julien Cassaigne, Codrin M. Nichitiu |
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir A. Zakharov |
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Combinatorial and Computational Problems on Finite Sets of Words. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Asa Ben-Hur, Hava T. Siegelmann |
Computation in Gene Networks. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Mihai Rotaru |
JC-Nets. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Margenstern, Yurii Rogozhin (eds.) |
Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings |
MCU |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
D0L System + Watson-Crick Complementarity = Universal Computation. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Gruska, Hiroshi Imai |
Power, Puzzles and Properties of Entanglement. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Martín-Vide, Gheorghe Paun |
Computing with Membranes (P Systems): Universality Results. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Mutyam, Kamala Krithivasan |
P Systems with Membrane Creation: Universality and Efficiency. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Caucal |
On the Transition Graphs of Turing Machines. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau |
Nonterminal Complexity of Programmed Grammars. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Naughton, Damien Woods |
On the Computational Power of a Continuous-Space Optical Model of Computation. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai |
Speeding-Up Cellular Automata by Alternations. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Frisco |
A Direct Construction of a Universal Extended H System. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita |
A Simple Universal Logic Element and Cellular Automata for Reversible Computing. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zenon Sadowski |
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jen-Chun Chang, Wanjiun Liao |
Application-Layer Conference Trees for Multimedia Multipoint Conferences Using Megaco/H.248. |
ICME |
2001 |
DBLP DOI BibTeX RDF |
Megaco/H.248, multipoint conference, conference tree, MCU |
| 1 | Hiroshi Umeo |
A deisgn of cellular algorithms for 1-bit inter-call communications and related cellular algorithms. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Sakamoto, Daisuke Ikeda |
Intractability of Decision Problems for Finite-Memory Automata. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maurice Margenstern |
Frontier between decidability and undecidability: a survey. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Liudmila Pavlotskaya |
On the notion of algorithmic decidability. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gheorghe Paun |
DNA Computing Based on Splicing: Universality Results. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maurice Margenstern (eds.) |
International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ivan Korec |
Real-time generation of primes by a one-dimensional cellular automaton with 9-states. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paolo Boldi, Sebastiano Vigna |
The Turing Closure of an Archimedean Field. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Harel |
Towards a Theory of Recursive Structures. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Joaquim Gabarró, Xavier Messeguer |
Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jean Sylvestre Gakwaya |
The Separation Theorem for the Relation Classes Associated to the Extended Grzegorczyk Classes. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andrew Adamatzky |
Dynamical universal computation in excitable lattices. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Géraud Sénizergues |
Complete Formal Systems for Equivalence Problems. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Christian Michaux, Christophe Troestler |
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maurice Margenstern (eds.) |
International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedingsi, Volume II |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Klaus Weihrauch |
Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. |
MCU |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")