126 search results - page 12 / 26 » Decreasing Diagrams II |
BC
2002
13 years 10 months ago
2002
Hebb's original postulate left two important issues unaddressed: (i) what is the effective time window between pre- and postsynaptic activity that will result in potentiation?...
CN
2004
13 years 10 months ago
2004
Several objectives have been identified in developing the random early drop (RED): decreasing queueing delay, increasing throughput, and increasing fairness between short and long...
APN
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
ISLPED
1997
ACM
14 years 3 months ago
1997
ACM
We present an algorithm that restructures the state transition graph STG of a sequential circuit so as to reduce power dissipation. The STG is modi ed without changing the behav...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...