Sciweavers

18306 search results - page 300 / 3662
» Algorithmics in Exponential Time
Sort
View
CEC
2003
IEEE
16 years 1 days ago
MEH: modular evolvable hardware for designing complex circuits
Evolvable hardware adjusts oneself to changeable environments by self-organizing the circuit. Due to its high productivity and creativity for designing circuit, it is widely invest...
Jin-Hyuk Hong, Sung-Bae Cho
165
Voted
CSR
2010
Springer
15 years 11 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
CRYPTO
1995
Springer
91views Cryptology» more  CRYPTO 1995»
15 years 10 months ago
Some Remarks on Lucas-Based Cryptosystems
We review the well-known relation between Lucas sequences and exponentiation. This leads to the observation that certain public-key cryptosystems that are based on the use of Lucas...
Daniel Bleichenbacher, Wieb Bosma, Arjen K. Lenstr...
CDC
2009
IEEE
183views Control Systems» more  CDC 2009»
15 years 10 months ago
Switching controller for stabilization of linear systems with switched time-varying delays
This paper considers interval time-varying delay systems with delayed estimation of the delay. This case is often encountered in the Networked Control Systems (NCS) field. Based on...
Wenjuan Jiang, Emilia Fridman, Alexandre Kruszewsk...
SNPD
2004
15 years 8 months ago
Addressing State Explosion in Behavior Protocol Verification
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
Martin Mach, Frantisek Plasil