1449 search results - page 164 / 290 » Finiteness results for sigmoidal |
184
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper proposes an optimization algorithm for reducing the power dissipation in a sequential circuit. The encoding of the different states in a Finite State Machine is modifie...
192
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
177
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
170
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
126
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...